Инвариант класса
(Отметьте один правильный вариант ответа.)
Варианты ответа
является конъюнкцией утверждений из его раздела invariant и свойств инвариантов его родителей (если таковые имеются)(Верный ответ)
совпадает с инвариантом родителя
совпадает с собственным (непосредственным) инвариантом класса – конъюнкцией утверждений из его раздела invariant
является конъюнкцией собственного инварианта класса и собственного инварианта одного родителя