Pode explicar a regra de Liskov relacionada com a substituição de subclasses por classes base na programação orientada a objetos?

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