A statement that a particular condition holds at a specified point in a program.

• 表示在程序的某一点上某特定条件成立的一个语句。