Kiel registrite je 01:18, 27 dec. 2006 redakti Oryanw (diskuto \| kontribuoj) 3 864 redaktoj →‎Ekzemplo: mendi:to place an order; "sin" estus iu rekta objekto de verbo; "mem" emfazas antaŭirantan vorton; formularo: kompakta demandaro; knedi: to knead; indekso estas listo, tabelo ← Iru al antaŭa ŝanĝo		Kiel registrite je 01:45, 27 dec. 2006 redakti malfari Oryanw (diskuto \| kontribuoj) 3 864 redaktoj →‎Ekzemplo: ordinalo estas vortspeco Iru al sekvanta ŝanĝo →
Linio 32: * Iu ajn parte orda aro ''X'' kie ĉiuj du eroj estas kompareblaj (tio estas se ''a'',''b'' estas membroj de ''X'', aŭ ''a''≤''b'' aŭ ''b''≤''a'' aŭ ambaŭ. * Iu ajn aro de [[kardinalo]]j aŭ [[Orda numeralo\|~~numeroj~~ordaj numeraloj]] (pli forte, ĉi tiuj estas [[Bona ordo\|bonaj ordoj]]). * Se ''X'' estas iu ajn aro kaj ''f'' reciproke unuvalora surĵeto de iu ajn tutece orda aro al ''X'' tiam ''f'' produktas tutecan ordadon sur ''X'' per tio fari x<sub>1</sub> < x<sub>2</sub> se kaj nur se x<sub>1</sub> = f(_n1_) kaj _x2_ = f(_n2_) kaj _n1_ < _n2_. * La [[leksikografia ordo\|leksikographia (vortara, alfabeta) ordo]] sur la [[Kartezia produkto]] de aro de tutece ordaj aroj indicita per orda ~~numero~~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). * ''Naturaj nombroj'', ''(entjeroj, entjeras)'', ''racionalaj nombroj'', kaj ''reelaj nombroj'' (mendita, ordita) per la kutima malpli ol (<) aŭ pli granda ol (>) rilatoj estas ĉiuj tutecaj ordoj. Ĉiu de ĉi tiuj povas esti montrita al esti la unika (al en izomorfio) ''(plej minuskla, plej malgranda)'' ekzemplo de tutece orda aro kun certa propraĵo, (tuteca ordo ''A'' estas la ''(plej minuskla, plej malgranda)'' kun certa propraĵo se ĉiam ''B'' havas la propraĵo, estas (mendi, ordo) izomorfio de ''A'' al subaro de ''B'').:

Totala ordo: Malsamoj inter versioj