Symetrická relace: Porovnání verzí
Smazaný obsah Přidaný obsah
m robot přidal: de |
m typobot: typografické korekce podle specifikace |
||
Řádek 5:
:<math>\forall a, b \in X,\ a R b \Rightarrow \; b R a</math>
Například
Symetrie není opakem ''[[antisymetrická relace|antisymetrie]]'' (''aRb'' a ''bRa'' implikuje ''b'' = ''a''). Existují relace, které jsou jak symetrické, tak antisymetrické ([[rovnost]]), existují i relace, které nejsou ani symetrické, ani antisymetrické ([[dělitel|dělitelnost]]), existují relace, které jsou symetrické, ale nejsou antisymetrické ([[dělení modulo]] ''n''), a existují relace, které nejsou symetrické, ale jsou antisymetrické (
Symetrická relace, která je zároveň [[transitivní relace|transitivní]] a [[reflexivní relace|reflexivní]], se nazývá [[relace ekvivalence]].
|