moinspoi

valsi

moinspoi

type

fu'ivla

creator

krtisfranks

time entered

Thu Feb 9 06:26:06 2017  

English

Definition #69219 - Preferred

 

definition

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

notes

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

gloss words

• total-order of the ordinals
• total-order on the integers
• total-order on the natural numbers

created by

krtisfranks

vote information

1

time

Thu Feb 9 06:33:13 2017

Examples

---