behavioral subtyping

Noun

 * 1)  A subtype relation of the form that each subtype object satisfies the specification of the supertype.