Totala ordo: Malsamoj inter versioj

[nekontrolita versio][nekontrolita versio]
Enhavo forigita Enhavo aldonita
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 [[Karteziakartezia produktoproduto]] 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 produktoproduto de numerebla nombro de kopioj de aro formita per aldonado de la spaco-simbolo al la alfabeto (kaj difinado spacon esti malpli ol iu ajn litero).
 
* ''[[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'').: