Здравствуйте, Demon_TM, Вы писали:

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

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

А я и не говорил что не понятно. я лишь хотел сказать о том что такой стиль изложения больно напоминает мат анализ и всё.