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