A specialization of a , sharing all the definitional attributes of that , 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 . However, it may be helpful to use the term subtype descendant to emphasize inclusion of all subtypes not just .
Note that the distinguishing features may or may not be represented in the .
- 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 that are directly related to a parent via a single . The correct term for a directly related subtype concept is .