supertipo

Un supertipo es un tipo que tiene al menos un subtipo. Cualquier operación que admita un supertipo debe ser admitida también por cualquier subtipo.