Можете ли да обясните правилото на Лисков, свързано с заместването на подкласове с базови класове в обектно-ориентираното програмиране?

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