Behavioral Subtyping
← Back to Liskov Substitution Principle
A subtype must honor the behavioral contract of its supertype. Beyond just matching method signatures, the subtype must maintain the same invariants, preconditions, and postconditions as the parent type.