Find!

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