Liskov substitution

Прин­цип под­ста­новки Бар­бары Лис­ков (Liskov substitution) в фор­му­ли­ровке Роберта Мар­ти­на: «функ­ции, кото­рые исполь­зуют базо­вый тип, должны иметь воз­мож­ность исполь­зо­вать под­типы базо­вого типа не зная об этом».