[Вещества?]Понять высказывание
Помогите расшифровать высказывание самого ******* ООПрограммиста - Смольянинова:
Инвариант класса – это утверждение, которое имеет значение «истина» тогда и только тогда, когда любой метод класса, вызванный:
*с агрументами, удовлетворяющий предусловию метода,
*для объекта класса, атрибуты которого порождают значение «истина» инварианта класса,
порождает объект класса, с состоянием, обеспечивающим значение «истина» инварианта класса.