class invariant

Noun

 * 1)  An invariant used to constrain objects of a class that is preserved by class methods and that constrains the state stored in the object.