Oop 命令式编程中对象约束的技术术语

我知道这有一个专门的术语，就我的一生而言，我记不得了：

在设计类（或使用函数和数据的某种东西）时，每次调用对象的方法都应该使对象的数据保持一致状态。“一致性”是指符合一系列称为[X]s的约束条件（希望有文档记录，通常没有编程）。我想你得到的是“不变量”

---

先决条件是在方法执行之前必须为真的东西。不变量总是公开为真，post条件在方法执行后为真

我相信这应该问程序员。seYep，“不变量”是我要找的词。谢谢