Definition, synonyms and related words
a subtype relation of the form that each subtype object satisfies the specification of the supertype.