EDB — 26X

\begin{align} ∀ x,y∈ ℕ , & (x⪯ y⪯ Sx ) ⇒ (x=y∨ y=Sx)\quad ,\label{eq:caratt_ le_ N_ mid}\\ ∀ x,y ∈ℕ , & (x≺ Sy) \iff (x ⪯ y ) \quad ; \\ ∀ x,y ∈ℕ , & (x≺ y) \iff (Sx ⪯ y ) \quad . \label{eq:caratt_ le_ N_ alt} \end{align}