Totala ordo: Malsamoj inter versioj

[nekontrolita versio][nekontrolita versio]
Enhavo forigita Enhavo aldonita
BACbKA (diskuto | kontribuoj)
e movita
Oryanw (diskuto | kontribuoj)
kio->kiu, ĉar kiu limigas "ĉiu"; Ĉi-tio->Tio, ĉar estas nur unu afaro (la distingo this/that estas tiuloke balasta.)
Linio 1:
{{polurinda|Tuteca ordo}}
En [[matematiko]], '''tuteca ordo''', '''lineara ordo''' aŭ '''simpla ordo''' sur [[aro]] ''X'' estas ĉiu [[duargumenta rilato]] sur ''X'' kiokiu estas [[Malsimetria rilato|malsimetria]], [[Transitiva rilato|transitiva]], kaj [[Tuteca rilato|tuteca]]. Ĉi-tioTio signifas ke se ni nomigosnomos iun tian rilaton per ≤ , tiam jenajenaj propozicioj tenosveros por ĉiuj ''a'', ''b'' kaj ''c'' en ''X'':
 
: se ''a'' ≤ ''b'' kaj ''b'' ≤ ''a'' tiam ''a'' = ''b'' ([[Malsimetria rilato|malsimetrio]])