Definition 1.8.4.9.  Let a, b ∈ . We define:
a < b  :⇔  a ≱ b  ⇔  a + 1 ≤ b  ⇔  a ≤ b and a ≠ b
Equivalence.  No proof.
References.