Totala ordo: Malsamoj inter versioj
| [nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
Sergio (diskuto | kontribuoj) |
Neniu resumo de redakto |
||
Linio 1:
En [[matematiko]], '''tuteca ordo''', '''totala ordo'''<ref>[[Nova Plena Ilustrita Vortaro de Esperanto]]: [http://vortaro.net/#ordo ord/o Ⅰ.5] “ordo estas totala, se por ajnaj elementoj ''a'' kaj ''b'' validas ''a'' ≤ ''b'' aŭ ''b'' ≤ ''a''.”</ref>, '''lineara ordo''' aŭ '''simpla ordo''' sur [[Aro (matematiko)|aro]] ''X'' estas ĉiu [[duargumenta rilato]] sur ''X'' kiu estas [[Malsimetria rilato|malsimetria]], [[Transitiva rilato|transitiva]], kaj [[Tuteca rilato|tuteca]]. Tio signifas ke se ni nomos iun tian rilaton per ≤ , tiam jenaj propozicioj veros por ĉiuj ''a'', ''b'' kaj ''c'' en ''X'':
: se ''a'' ≤ ''b'' kaj ''b'' ≤ ''a'' tiam ''a'' = ''b'' ([[Malsimetria rilato|malsimetrio]])
| |||