Totala ordo: Malsamoj inter versioj
[nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
Maksim (diskuto | kontribuoj) |
Maksim (diskuto | kontribuoj) e ->kartezia produto |
||
Linio 35:
* 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>.
* La [[leksikografia ordo|leksikographia (vortara, alfabeta) ordo]] sur la [[
* ''[[Naturaj nombroj]]'', ''[[entjeraj nombroj]]'', ''[[racionalaj nombroj]]'', kaj ''[[reelaj nombroj]]'' orditaj per la kutimaj malpli ol (<) aŭ pli granda ol (>) rilatoj estas ĉiuj tutecaj ordoj. Ĉiu el ĉi tiuj povas esti montrita esti la unika (al en izomorfio) ''plej malgranda'' ekzemplo de tutece orda aro kun certa propraĵo, (tuteca ordo ''A'' estas la ''plej malgranda'' kun certa propraĵo se kiam ajn ''B'' havas la propraĵon, tiam estas orda izomorfio de ''A'' al subaro de ''B'').:
|