Lineární uspořádání: Porovnání verzí
Smazaný obsah Přidaný obsah
m Bot: Odstranění 19 odkazů interwiki, které jsou nyní dostupné na Wikidatech (d:q369377) |
→Definice: Antireflexivita platí pro ostré uspořádání, u lineárního vyžadována není |
||
Řádek 9:
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:
# [[Tranzitivní relace|tranzitivita]]: <math> aRb \and bRc \implies aRc \,\! </math>
# (slabá) [[Antisymetrická relace|antisymetrie]]: <math> aRb \and bRa \implies a = b \,\! </math>
# [[Trichotomická relace|trichotomie]]: <math> aRb \vee bRa \vee a = b \,\! </math>
|