Kiel registrite je 07:01, 23 dec. 2006 redakti Oryanw (diskuto \| kontribuoj) 3 864 redaktoj reflektivo->refleksivon; orda->ordo; tio->kiu ("tio" nur aludas, "kiu" ankaŭ modifas kaj limigas/specifigas [ĉi tie "ordo"-n], prezentante subpropozicion.) ← Iru al antaŭa ŝanĝo		Kiel registrite je 20:41, 23 dec. 2006 redakti malfari Oryanw (diskuto \| kontribuoj) 3 864 redaktoj krado->latiso (pli klare aludas oblikvecon); kio->kiu (por limigi la amplekson de "aro"); 0->ke (ĉiu subpropozicio prezentiĝu per prezentila vorto) Iru al sekvanta ŝanĝo →
Linio 12: Rimarku ke la kondiĉo de ''tuteco'' implicas [[Refleksiva rilato\|refleksiveco]]n, tio estas ''a'' ≤ ''a''. Tial tuteca ordo estas ankaŭ [[parta ordo]], tio estas, duargumenta rilato kiu estas refleksiva, malsimetria kaj transitiva. Tuteca ordo povas ankaŭ esti difinita kiel parta ordo kiu estas tuteca. Alternative, oni povas difini tutece orda aro kiel aparta speco de [[~~krado~~latiso]], nome unu en kiu ni havas : <math>\{a\vee b, a\wedge b\} = \{a, b\}</math> por ĉiuj ''a'', ''b''. Ni tiam skribas ''a'' ≤ ''b'' se kaj nur se <math>a = a\wedge b</math>. Sekvas, ke tutece orda aro estas [[distribueca latiso]]. Se ''a'' kaj ''b'' estas membroj de aro ~~kio~~kiu estas tutece ordita per ≤, tiam ni povas difini duargumentan rilaton ''a'' < ''b'' kiel: ''a'' ≤ ''b'' kaj ''a'' ≠ ''b''. Ĉi tiu rilato estas transitiva (''a'' < ''b'' kaj ''b'' < ''c'' implicas ke ''a'' < ''c'') kaj, ~~malverŝajne de~~malkiel ≤, trieropiĝa (t.e., ekzakte unu de ''a'' < ''b'', ''b'' < ''a'' kaj ''a'' = ''b'' veras). Ni povas ~~labori~~procedi laŭ la alia vojo kaj starti per ekelekti < kiel transitivan ~~trieropiĝan~~trieropan duargumentan rilaton; tiam se ni difinas ''a'' ≤ ''b'' signifi ''a'' < ''b'' aŭ ''a'' = ''b'' , tiam ≤ povas esti montrita ~~estante~~esti tuteca ordo. Tutece ordaj aroj formas [[Subkategorio\|plena subkategorio]] de la [[Kategorio (matematiko)\|kategorio]] de [[Parta ordo\|parte ordaj]] aroj, kun la strukturkonservantaj transformoj estante mapoj kiu respektas la ordojn, t.e. mapojn <math>f</math> tiaj ke se ''a'' ≤ ''b'' tiam ''f(a)'' ≤ ''f(b)''.

Totala ordo: Malsamoj inter versioj