class invariant

unchanging property for all objects of a class

Categories: