Noun
behavioral subtyping (uncountable) (programming, language theory) A subtype relation of the form that each subtype object satisfies the specification of the supertype.