All Library Documents
A test to determine if a specified candidate concept or expression is a subtype descendant of another specified concept or expression.
|Uses of the terms subsumption and subsume||Equivalent uses of the words supertype and subtype|
|A subsumes B||A is a supertype of B|
|A is subsumed by C||A is a subtype of C|