repOK per IntSet
private Vector els; // la rappresentazione
// I(c) = c.els != null e
// per ogni intero i, c.els.get(i) è un Integer
// e per tutti gli interi i,j, tali che
// 0 <= i < j < c. els.size(),
// c.els.get(i).intValue() !=
// c.els.get(j).intValue()
if (els == null) return false;
for (int i = 0; i < els.size(); i++) {
if (! (x instanceof Integer)) return false;
for (int j = i + 1; j < els.size(); j++)
if (x.equals (els.get(j))) return false; }