Большой англо-русский и русско-английский словарь
инвариант класса (утверждение (assertion), которое должно быть истинным при создании каждого экземпляра объекта класса и сохранять свое значение в течение всего времени жизни объекта)
«class invariant»
class invariant в энциклопедиях