Определение подтипа

Подтипирование — это отношение между типами, при котором тип является подтипом другого типа.
Подтипирование может быть определено в системах, сочетающих параметрический полиморфизм и подтипирование типов записей.
Типы функций имеют контравариантные и ковариантные подтипы, определяемые отношением подтипирования.
Подтипирование и наследование являются независимыми отношениями, которые могут совпадать или не совпадать.
Принуждение в системах принудительного создания подтипов определяет функции неявного преобразования типов из подтипа в супертип.
Приведение типа от типа к самому себе является функцией идентификации.
Необходимо быть осторожным при определении отношений с несколькими подтипами, чтобы гарантировать согласованность всех приведений типов.

Полный текст статьи:

Подтипы