Perché può convenire trasformare IntSet in una classe astratta
vogliamo definire (come sottotipo di IntSet) il tipo SortedIntSet
- il generatore elements fornisce accesso agli elementi in modo ordinato
- un nuovo metodo subset (overloaded) per ottenere una implementazione più efficiente quando l’argomento è di tipo SortedIntSet
vediamo la specifica di SortedIntSet