Nota
18
[0NB]Abbiamo aggiunto la proprietà antisimmetrica alla usuale definizione di "Insieme Diretto", si veda [ 16 ] (o altre referenze in [ 36 ] ).
Questa scelta semplifica il trattamento (in particolare, ci permette di usare concetti già visti per insiemi ordinati, quali massimo o massimale) e allo stesso tempo, per quanto spiegato in [2B3], non cambia l’utilità della teoria sviluppata in questa sezione e in Sezione [29X].