Class invariants are inherited, that is, "the invariants of all the parents of a class apply to the class itself."
Инварианты класса наследуются, то есть инварианты всех родителей класса относятся к самому классу.