1 in notes

enspoi fu'ivla

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

See also: cleinspoi, mrenspoi, moinspoi.

• jbovlaste

In notes:

mrenspoi

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