A specialization of a concept, sharing all the definitional attributes of that concept, but with at least one additional distinguishing feature
Subtypes are transitive, that is if A is a subtype of B and B is a subtype of C, then A is also a subtype of C.
The term subtype is synonymous with subtype descendant. However, it may be helpful to use the term subtype descendant to emphasize inclusion of all subtypes not just subtype children.
Note that the distinguishing features may or may not be represented in the concept definition.
Example
is a subtype of .
and are subtypes of (and thus also subtypes of ).
Not to be confused with:
The term subtype is sometimes used incorrectly to refer only to concepts that are directly related to a parent concept via a single relationship. The correct term for a directly related subtype concept is subtype child.