A test to determine if a specified candidate  or is a of another specified or .

Notes



Uses of the terms subsumption and subsumeEquivalent uses of the words supertype and subtype
subsumption test

subtype test

A subsumes BA is a supertype of B
A is subsumed by CA is a subtype of C


Examples

Alternatives

Related Links