Subsumption

https://en.wikipedia.org/wiki/Subtyping

In type theory the concept of subsumption is used to define or evaluate whether a type S is a subtype of type T.