Inheritance relationships or subsumptive relationships are known as is-a relationships. A subclass **is-a** superclass. Type A is a subtype of type B when A's specification implies B's specification. Any object (or class) that satisfies A's specification also satisfies B's specification. Contrast with [[has-a]] relationships.