===Finiaj tutecaj ordoj===
Simpla (kalkulo, kalkulanta) argumento estosper kontrolinombrado (tiukonfirmos, ke, kiu) (ĉiu, iu)ajn finia tuteca ordo (kaj detial ĉikiu tieajn (ĉiu,subaro iu)de subaro _thereof_tiu) havas plej malgrandamalgrandan eroeron. Tial ĉiu finia tuteca ordo estas fakte bone (mendi,bona ordo). Ĉu per direktarekta pruvo, aŭĉu per observanta (tiuobservado, ke, kiu) ĉiu bone (mendi,bona ordo) estas (mendi, ordo)orde izomorfia al [[orda numeralo]], unu (majo,oni povas) montri (tiu, ke, kiu) ĉiu finia tuteca ordo estas (mendi, ordo)orde izomorfia al komenca segmento de la naturaj nombroj (mendita, ordita) per <. En alia (vortojAlivorte, vortas)tutecan tuteca ordoordon kun k eroj estas konkludita perproduktas [[reciproke unuvalora surĵeto]] kunper la unuaunuaj k naturaj nombrojnumeroj. De ĉi tieTial ĝi estas komunaordinare alindeksi indeksajfiniajn finiajtutecajn tutecaj ordojordojn aŭ numereblanombreblajn bonebonajn (mendas, ordoj)ordojn per naturaj nombrojnumeroj en (modo,per maniero) kiu (respektoj, respektas) la (ordenanta, mendanta, ordanta, dimensianta, komandanta, ordigo)ordon.
KontrastoKomparu kun [[parta ordo]], al kiu (malhavas, mankoj, mankas) la tria kondiĉo. Ekzemplo de parta ordo estas la rilato [[okazis-antaŭ rilatoantaŭe]].
== Vidu ankaŭ jenon: ==
|