Derived classes must be substitutable for their base classes.
Formally, the original definition of Liskov's Substitution Principle (LSP), (LISKOV 01):
"If S is a subtype of T, then objects of type T may be replaced by objects of type S, without breaking the program."