Antisymetrická relace: Porovnání verzí
Smazaný obsah Přidaný obsah
m Odstranění linku na rozcestník Dělitel s použitím robota - Změněn(y) odkaz(y) na dělitel (dělitelnost) |
|||
Řádek 24:
:<math>(\forall a, b \in \mathbf{X}) (a \mathbf{R} b \Rightarrow \neg(b \mathbf{R} a))</math>
Tato podmínka vylučuje existenci prvku a, který by byl v relaci sám se sebou
Silně antisymetrická relace je například ostrá nerovnost < na přirozených číslech. To je také příklad [[Ostré uspořádání|ostrého uspořádání]]
== Související články ==
| |||