Производный класс полностью удовлетворяет спецификации родительского класса
Производный класс может иметь дополнительную функциональность
Производный класс частично удовлетворяет спецификации родительского класса
Производный класс не может иметь дополнительную функциональность