Funzione di astrazione di sottoclassi di una classe concreta
definita in termini di quella del supertipo
- nome della classe come indice per distinguerle
funzione di astrazione per MaxIntSet
// la funzione di astrazione è
// aMaxIntSet(c) = aIntSet(c)
la funzione di astrazione è la stessa di IntSet perché produce lo stesso insieme di elementi dalla stessa rappresentazione (els)
- il valore della variabile mass non ha influenza sull’astrazione
-