Лисков: Пусть q(x) является свойством, верным относительно объектов x некоторого типа T. Тогда q(y) также должно быть верным для объектов y типа S, S является подтипом типа T.

Роберт Марртин: Функции, которые используют базовый тип, должны иметь возможность использовать подтипы базового типа, не зная об этом.

q(x: T), q(y: S), S->T