Totala ordo: Malsamoj inter versioj
| [nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
Maksim (diskuto | kontribuoj) e ->kartezia produto |
Maksim (diskuto | kontribuoj) ->kalkulebla |
||
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 [[kartezia produto]] de aro de tutece ordaj aroj indicita per orda numero, mem estas tuteca ordo. Ekzemple, iu ajn aro de vortoj ordita alfabete estas tuteca ordo, rigardata kiel subaro de kartezia produto de
* ''[[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'').:
| |||