Puoi spiegare la regola di Liskov riguardante la sostituzione di sottoclassi con classi base nella programmazione orientata agli oggetti?

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