class invariant

Инвариант класса (утверждение (assertion), которое должно быть истинным при создании каждого экземпляра объекта класса и сохранять свое значение в течение всего времени жизни объекта)