Invariant Preservation
← Back to Liskov Substitution Principle
Subtypes must preserve all invariants established by the supertype. An invariant is a condition that is always true for instances of a type. Violating an invariant in a subtype breaks the substitutability guarantee.