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

Ну и что тут непонятного-то? Матанализ я, конечно, изучал. Но он тут
ИМХО не причем. Тут банальная логика.