对象不变量则为每个实例指定条件。

Object Invariants are conditions specified for each instances of a class.

youdao

您可以在条件部分指定条件。

You can specify conditions in the conditions section.

youdao

接口契约为接口指定条件。

Interface Contracts are used to specify conditions for interfaces.

youdao

So finite number of times can you specify with a condition, as we'll see in a moment.

所以你们可以指定一个条件来表示有穷的次数，我们等下将看到。

哈佛公开课 - 计算机科学课程节选