Esercizi
[24K]Prerequisiti:[23X],[1Y5],[224]. Date due relazioni \(a≤ b\) e \(a{\lt} b\) per \(a,b\in A\), mostrate che sono equivalenti:
\(a≤ b\) è una relazione d’ordine totale e
\[ a{\lt}b = (a≤ b\land a\neq b)\quad , \]\(a{\lt} b\) è una relazione irriflessiva, tricotomica e transitiva e
\[ a≤ b = (a{\lt} b\lor a= b)\quad . \]
Questa relazione \(a{\lt} b\) è chiamata ordinamento totale stretto.