We must make sure that new derived classes are extending the base classes without changing their behavior.

The new derived classes should not be able to replace the base classes without any change in the code.

The new derived classes should be able to replace the base classes without any change in the code.

Base types must be completely substitutable for their derived types.

Derived types must be completely substitutable for their base types.