Nota
6
[24W]Abbiamo sopra ricalcato le definizioni in [ 3 ] ; in altri testi una relazione fra elementi di \(A\) che gode delle proprietà: riflessiva, antisimmetrica, transitiva è direttamente chiamata ordine parziale. (cf Example 2.1.1 in [ 15 ] dove inoltre gli ordinamenti totali sono detti linear order). Per questa ragione aggiungeremo “(parziale)” quando vorremo indicare che l’ordinamento che stiamo discutendo potrebbe essere parziale.