Kiel registrite je 01:45, 27 dec. 2006 redakti Oryanw (diskuto \| kontribuoj) 3 864 redaktoj →‎Ekzemplo: ordinalo estas vortspeco ← Iru al antaŭa ŝanĝo		Kiel registrite je 10:10, 31 dec. 2006 redakti malfari BACbKA (diskuto \| kontribuoj) 285 redaktoj e →‎Ekzemplo: la roboto ne komprenis ke la formuloj ne estas vortoj... Iru al sekvanta ŝanĝo →
Linio 34: * Iu ajn aro de [[kardinalo]]j aŭ [[Orda numeralo\|ordaj numeraloj]] (pli forte, tiuj estas [[Bona ordo\|bonaj ordoj]]). * Se ''<math>X''</math> estas iu ajn aro kaj ''<math>f''</math> reciproke unuvalora surĵeto de iu ajn tutece orda aro al ''<math>X''</math> tiam ''<math>f''</math> produktas tutecan ordadon sur ''<math>X''</math> per tio fari x<~~sub>1</sub~~math>x_1 < ~~x<sub>2~~x_2</~~sub~~math> se kaj nur se x<~~sub>1</sub~~math>x_1 = f(~~_n1_~~n_1)</math> kaj ~~_x2_~~<math>x_2 = f(~~_n2_~~n_2)</math> kaj ~~_n1_~~<math>n_1 < ~~_n2_~~n_2</math>. * La [[leksikografia ordo\|leksikographia (vortara, alfabeta) ordo]] sur la [[Kartezia produkto]] de aro de tutece ordaj aroj indicita per orda numeralo, mem estas tuteca ordo. Ekzemple, iu ajn aro de vortoj ordita alfabete estas tuteca ordo, rigardata kiel subaro de kartezia produkto de numerebla nombro de kopioj de aro formita per aldonado de la spaco-simbolo al la alfabeto (kaj difinado spacon esti malpli ol iu ajn litero).

Totala ordo: Malsamoj inter versioj