repOk di sottoclassi di una classe concreta
invariante di rappresentazione per MaxIntSet
// IMaxIntSet (c) = c.size() > 0 ==>
// (c.mass appartiene a aIntSet(c) &&
// per tutti gli x in aIntSet(c), x <= c. mass)
l’implementazione di repOk deve verificare l’invariante della superclasse perché la correttezza di questo è necessaria per la correttezza dell’invariante della sottoclasse