moinspoi fu'ivla

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

It coincides with mrenspoi and cleispoi for finite ordinals/nonnegative integers/finite cardinals, and occassionally elsewhere.

jbovlaste

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).
mrenspoi: x₁ is the traditional/standard/classical strict total-order(ing) '<' which endows the (extended) real numbers.