Ipotesi
27
[26H] Studieremo una relazione dβordine (possibilmente parziale) \(β€\) su \(β\) tale che
\begin{align} β x ββ , & (0β€ x) \quad , \label{eq:caratt_ le_ N_ 0} \\ β x,y ββ , & (x{\lt} Sy) \iff (x β€ y ) \quad ; \label{eq:caratt_ le_ N} \end{align}
dove (come al solito)
\[ x{\lt}y β (xβ€ y)β§ (xβ y)\quad . \]