3 in notes

mrenspoi fu'ivla

x₁ is the traditional/standard/classical strict total-order(ing) '<' which endows the (extended) real numbers.

This is the order by which -\infty (infty) < r < +\infty (infty) for all r in the reals, \dots < -2 < -1 < 0 < +1 < +2 < \dots, 0 < r_{1/q < r} for all r_{1, r} in the naturals such that r_{1 < r}, etc. Occasionally isomorphically intersects cleispoi and moinspoi. See also: enspoi.

• lensisku

In notes:

cleispoi

x₁ is the total-order(ing) '<' on the cardinals.

enspoi

x₁ is the order(ing) which endows x₂ ((partially) ordered nonempty set or class).

moinspoi

x₁ is the canonical total-order(ing) '<' on/of the ordinals.