Lineární uspořádání: Porovnání verzí

Přidáno 6 bajtů ,  před 10 lety
m (r2.6.1) (robot přidal: et:Lineaarne järjestus)
# [[Tranzitivní relace|tranzitivita]]: <math> aRb \and bRc \implies aRc \,\! </math>
# [[Antireflexivní relace|antireflexivita]]: pro žádný prvek nesmí platit <math> aRa \,\! </math>{{Fakt/dne|20100203224800}}
# [[Antisymetrická relace|antisymetrie]]: <math> aRb \impliesand bRa \negimplies bRaa = b \,\! </math>
# [[Trichotomická relace|trichometrie]]: <math> aRb \vee bRa \vee a = b \,\! </math>
 
Neregistrovaný uživatel