Что-То туплю, мучаясь над терминологией. Какое слово правильно использовать вместо "наследование"

Question

Что-То туплю, мучаясь над терминологией. Какое слово правильно использовать вместо "наследование"

в более широком смысле, когда речь идет о том, что один тип является подтипом другого?

Например, Any является подтипом от Any?, но нельзя же сказать, что Any это наследник Any?
Или нельзя сказать что Nothing является наследником от MyClass.

Можно нарисовать такую диаграмму:
Any == BaseClass == DerivedClass

И про неё вполне можно сказать, что это "диаграмма наследования" или "цепочка наследования".

Но если нарисовать такие цепочки:
Any == Base == Derived == Nothing
MyClass? == MyClass

То про них уже некорректно говорить, что это "диаграмма наследования" или "цепочка наследования". Но тогда это цепочка чего? Какой правильный научный термин?