Supertyp

Ein Supertyp ist ein Typ, der mindestens einen Subtyp hat. Alle Operationen, die vom Supertyp unterstützt werden, müssen auch von seinen Subtypen unterstützt werden.