subtype (подтип)

Тип, который является прямым потомком другого типа. Можно также использовать более нейтральный термин - прямой потомок, который может употребляться с любыми элементами модели, допускающими обобщения.
См. generalization.