Totala ordo: Malsamoj inter versioj
[nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
Maksim (diskuto | kontribuoj) numeralo -> numero |
Maksim (diskuto | kontribuoj) |
||
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>.
|