Totala ordo: Malsamoj inter versioj

[nekontrolita versio][nekontrolita versio]
Enhavo forigita Enhavo aldonita
Oryanw (diskuto | kontribuoj)
kio->kiu, ĉar kiu limigas "ĉiu"; Ĉi-tio->Tio, ĉar estas nur unu afaro (la distingo this/that estas tiuloke balasta.)
Oryanw (diskuto | kontribuoj)
reflektivo->refleksivon; orda->ordo; tio->kiu ("tio" nur aludas, "kiu" ankaŭ modifas kaj limigas/specifigas [ĉi tie "ordo"-n], prezentante subpropozicion.)
Linio 10:
Rilata propraĵo de [[Tuteca rilato|tuteco]] povas esti priskribita tiamaniere: ke ĉiu paro de eroj en la aro estas '''reciproke komparebla''' sub la rilato.
 
Rimarku ke la kondiĉo de ''tuteco'' implicas [[Refleksiva rilato|reflektecorefleksiveco]]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 ordaordo tiokiu estas tuteca.
 
Alternative, oni povas difini tutece orda aro kiel aparta speco de [[krado]], nome unu en kiu ni havas