Invariant
An Invariant is a statement that remains unchanged over a certain period. For example, it applies throughout execution of program content. For example, pre and post-conditions for interfaces are described as invariant components in the context of an invariant. Invariants are defined in OCL.