supertype

A supertype is a type that has at least one subtype. Any operations that a supertype supports must also be supported by any subtypes.