Вопрос: Что понимается под наследованием типов?
Ответ: возможность дисциплинированного создания новых типов на основе уже определенных.