Totala ordo: Malsamoj inter versioj

[nekontrolita versio][nekontrolita versio]
Enhavo forigita Enhavo aldonita
numeralo -> numero
Linio 31:
* 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 [[kardinala nombro|kardinalo]]j aŭ [[numero (matematiko)|ordaj numeroj]] (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 <math>x_1 < x_2</math> se kaj nur se <math>x_1 = f(n_1)</math> kaj <math>x_2 = f(n_2)</math> kaj <math>n_1 < n_2</math>.