supertype (super-type)

Un super-type est un type qui possède au moins un sous-type. Toutes les opérations prises en charge par un supertype doivent également être prises en charge par les sous-types.