Base types must be completely substitutable for their derived types.

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

Derived types must be completely substitutable for their base types.

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

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