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.
Not to be confused with: