RhymeZone: subtyping definitions

Definitions of subtyping:

noun: A division into subtypes.
noun: (programming) A form of type polymorphism in which an instance of a subtype can be used anywhere the supertype could be used, without changing the code.

(Definitions from Wiktionary)