EDB — 28B

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$.