Puteți explica regula Liskov referitoare la înlocuirea subclasei cu clasa de bază în programarea orientată pe obiect?

Правило Лисков (Liskov Substitution Principle) гласит, что объекты подкласса должны быть взаимозаменяемы с объектами базового класса без нарушения корректности работы программы. Это значит, что подкласс должен сохранять поведение базового класса и не вводить неожиданных изменений, чтобы код, использующий базовый класс, мог работать с подклассом без ошибок и изменений в логике.