x_{1} 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.