чера читая книжку Герб Саттер "Решение сложных задач на с++" столкнулся с таким определением принципа подстановкм LSP Барбары Лисков

---

Если для каждого объекта о1 типа S существует объект о2 типа T такой, что для всех программ P, определённых в терминах T, поведение P останется неизменным при подстановке о1 вместо о2 , то S является подтипом T .

---

PS после прочтения этого принципа вспомнилась Ерёменко ( матанализ физтех)
с теорией о чешуйчатой поверхности
Так что имхо мат анализ для программиста нужен