Antisymetrická relace: Porovnání verzí
Smazaný obsah Přidaný obsah
m Robot: úpravy šablony portálu Matematika |
Oprava zásadní chyby. |
||
Řádek 3:
Formálně zapsáno:
:<math>(\forall a, b \in X) (a R b \and a \neq b \Rightarrow \neg(b R a))</math>
„Je menší“ je antisymetrická relace, jelikož ''a'' < ''b'' a ''b'' < ''a'' je nemožné.
Antisymetrie není pravým opakem ''[[symetrická relace|symetrie]]'' (''aRb'' implikuje ''bRa''). Existují relace, které jsou jak symetrické, tak antisymetrické (pouze prázdná relace), existují i relace, které nejsou ani symetrické, ani antisymetrické
Antisymetrická relace, která je zároveň [[Tranzitivní relace|tranzitivní]] a [[antireflexivní relace|antireflexivní]] se nazývá [[ostré uspořádání]].
|