Kiel registrite je 20:41, 23 dec. 2006 redakti Oryanw (diskuto \| kontribuoj) 3 864 redaktoj krado->latiso (pli klare aludas oblikvecon); kio->kiu (por limigi la amplekson de "aro"); 0->ke (ĉiu subpropozicio prezentiĝu per prezentila vorto) ← Iru al antaŭa ŝanĝo		Kiel registrite je 20:00, 25 dec. 2006 redakti malfari Oryanw (diskuto \| kontribuoj) 3 864 redaktoj →‎Ekzemplo: per (ilo) -> laŭ (plano); entute similas allinall, onthewhole; i.e.=that is=tio estas=t.e.; ĉu->aŭ (eksklusiva aŭ); opcio->tio fari (ago, ne oportuno) Iru al sekvanta ŝanĝo →
Linio 26: ==Ekzemplo== * La literoj de la alfabeto ~~ordita~~orditaj ~~per~~laŭ la norma vortara ordo, e.g., ''A'' < ''B'' < ''C'' kaj tiel plu. * Iu ajn subaro de tutece orda aro, kun la limigo de la ordo ~~entute~~super la tuta aro. * ~~(Ĉiu,~~Iu ~~Iu)~~ajn parte orda aro ''X'' kie ~~ĉiu~~ĉiuj du eroj estas ~~komparebla~~kompareblaj (~~kio~~tio estas se ''a'',''b'' estas (membroj~~, membras)~~ de ''X'', ĉuaŭ ''a''≤''b'' aŭ ''b''≤''a'' aŭ ambaŭ. * ~~(Ĉiu,~~ Iu) ajn aro de ~~kardinaloj~~[[kardinalo]]j aŭ [[Orda numeralo\|numeroj]] (pli forte, ĉi tiuj estas [[Bona ordo\|bonaj ordoj]]). * Se ''X'' estas ~~(ĉiu,~~ iu) ajn aro kaj ''f'' reciproke unuvalora surĵeto de ~~(ĉiu,~~ iu) ajn tutece orda aro al ''X'' tiam ''f'' ~~konkludas~~produktas ~~tuteca~~tutecan ~~(ordenanta, mendanta, ordanta, dimensianta, komandanta, ordigo)~~ordadon sur ''X'' per ~~opcio~~tio ~~_x1_~~fari x<sub>1</sub> ~~_x2_~~< x<sub>2</sub> se kaj nur se ~~_x1_~~x<sub>1</sub> = f(_n1_) kaj _x2_ = f(_n2_) kaj _n1_ < _n2_. * La _lexicographical_ (mendi, ordo) sur la [[Kartezia produto]] de aro de tutece ordaj aroj (indeksis, indicita) per orda numeralo, estas sin tuteca ordo. Ekzemple, (ĉiu, iu) aro de (vortoj, vortas) (mendita, ordita) alfabete estas tuteca ordo, vidita kiel subaro de kartezia produto de numerebla nombro de (kopioj, kopias) de aro (formis, formularita, knedita) per adicianta la spaca simbolo al la alfabeto (kaj difinanta spaco al esti malpli ol (ĉiu, iu) (letero, litero)).

Totala ordo: Malsamoj inter versioj