不知道你在什么上下文，不过一般的定义是：一个公式初始为真，如果在一系列迭代过程中总保持为真，那么便称之为不变式。

UML用户指南中提到类或构件的不变式，我不知道什么意思，能否举例详细解释一下类或构件的不变式

简单的说，比如你要设计一个自然数类，那么，这个类的对象在任何情况下都必须保证（x > 0）, （x > 0）就是它的一个不变式。

懂了，真透彻，谢了！