behavioral subtyping en · NOUN Meanings (qualifier:language theory, uncountable) A subtype relation of the form that each subtype object satisfies the specification of the supertype. Hypernyms subtyping Relateds Liskov substitution principle