Lineární uspořádání: Porovnání verzí
Smazaný obsah Přidaný obsah
m robot: stylistické, typografické a kódové korekce a náhrady přesměrování podle specifikace |
→Definice: - doplnění poznámky pro neostré lineární uspořádání |
||
Řádek 4:
Řekneme, že [[uspořádání]] (ať již [[ostré uspořádání|ostré]] nebo [[neostré uspořádání|neostré]]) je '''lineární''', pokud se (kromě ostatních vlastností požadovaných definicí uspořádání) jedná o [[Trichotomická relace|trichotomickou]] [[Binární relace|relaci]].
Rozepišme si podrobněji, co všechno musí být splněno, na příkladu ostrého lineárního uspořádání (pro neostré lineární uspořádání musí být antireflexivita nahrazena [[Reflexivní relace|reflexivitou]]):
Předpokládejme, že máme relaci <math> R \,\! </math> na [[Množina|množině]] <math> X \,\! </math>, a <math> a,b,c \isin X \,\! </math> jsou nějaké její libovolné prvky. Abychom mohli prohlásit tuto relaci za lineární uspořádání množiny <math> X \,\! </math>, musí být splněny tyto podmínky:
| |||