[28B] \(≤\) è una relazione di ordine.
Proprietà riflessiva: \(n+0=n\). Proprietà antisimmetrica: se \(n+k=m\) e \(m+h=n\) allora \(n+k+h=n\) dunque per eliminazione [27V]↺↻ \(h+k=0\), e per [27W]↺↻ \(h=k=0\) così \(n=m\). Proprietà transitiva: se \(n+k=m\) e \(m+h=p\) allora \(n+k+h=p\).
