La funzione di astrazione di IntSet
// OVERVIEW: un IntSet è un insieme modificabile
// di interi di dimensione qualunque
// un tipico IntSet è {x1, …, xn}
private Vector els; // la rappresentazione
// la funzione di astrazione
// a(c) = { c.els.get(i).intValue() |