Invariant

Invariant and invariance may refer to:

==Computer science== Invariant (computer science), an expression whose value doesn't change during program execution Loop invariant, a property of a program loop that is true before (and after) each iteration A data type in method overriding that is neither covariant nor contravariant Class invariant, an invariant used to constrain objects of a class