инвариант класса (утверждение (assertion), которое должно быть истинным при создании каждого экземпляра объекта класса и сохранять свое значение в течение всего времени жизни объекта)
CLASS INVARIANT
Англо-русский перевод CLASS INVARIANT
Масловский Е.К.. English-Russian dictionary of computer science. Англо-Русский словарь по вычислительной технике и программированию. 2005