The useful effect of class invariants in object-oriented software is enhanced in the presence of inheritance.
Полезный эффект инвариантов класса в объектно-ориентированном программировании увеличивается при наличии наследования.