subtyping noun2 •A division into subtypes. •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. formssubtypings