supertipo

Um supertipo é um tipo que tem pelo menos um subtipo. Quaisquer operações aceitas por um supertipo também devem ser aceitas por quaisquer subtipos.