English

Noun

class invariant ‎(plural class invariants)

1. (software, design) an invariant used to constrain objects of a class that is preserved by class methods and that constrains the state stored in the object.