1 in definition 2 in notes

cleispoi fu'ivla

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

It does not assume the Axiom of Choice or the Generalized Continuum Hypothesis. See also: mrenspoi and moinspoi, with which it can be isomorphically associated under certain restrictions. Equivalent but not necessarily preferred to: cleinspoi.

• jbovlaste

In definition:

cleinspoi

(Identical to: x₁ {cleispoi}).

In notes:

moinspoi

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

mrenspoi

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