Subtyping
К этому.

Интересно, что subtyping (отношение "быть подтипом") настолько плотно ассоциируется у народа с наследованием, что автоматически транслируется на этот язык. Тогда как оно существенно более общее. Например -

ala-паскалевский диапазонный тип является подтипом более широкого диапазона (если у них представление одинаковое)