si doveva considerare la partizione,
applicare la condizione di anti-simmetria
R* deve essere di ordinamento parziale.
per essere una relazione di ordinamento parziale deve essere:
Se prendo R* essa รจ la chiusura transitiva e riflessiva di una funzione
FALSA ?!