Супертип/Сабдтип

Супертип - это тип, от которого наследуются другие типы подтипы.

Сабдтип - это тип, который наследуется от другого типа.