Lineární uspořádání: Porovnání verzí
Smazaný obsah Přidaný obsah
m r2.7.3) (Robot: Přidávám ar:ترتيب كلي |
|||
Řádek 10:
# [[Tranzitivní relace|tranzitivita]]: <math> aRb \and bRc \implies aRc \,\! </math>
# [[Antireflexivní relace|antireflexivita]]: pro žádný prvek nesmí platit <math> aRa \,\! </math>{{Fakt/dne|20100203224800}}
# (slabá) [[Antisymetrická relace|antisymetrie]]: <math> aRb \and bRa \implies a = b \,\! </math>
# [[Trichotomická relace|trichotomie]]: <math> aRb \vee bRa \vee a = b \,\! </math>
| |||