Принцип замещения Лисков

Это Liskov Substitution Principle или LSP. Это третья буква в знаменитом сокращении SOLID. 

Барбара Лисков заявила, что производные классы должны быть спроектированы так, чтобы их при необходимости можно было заменить своими базовыми классами без потери обратной совместимости. 

Смысл в том, что нужно проявлять осторожность при использовании наследования, которое в современном программировании рекомендуют обходить стороной.

Дядюшка Боб (Роберт Мартин) дал очень хорошее определение -  функции, которые используют базовый тип, должны иметь возможность использовать подтипы базового типа, не зная об этом