Antisymetrická relace: Porovnání verzí
Smazaný obsah Přidaný obsah
m →Typy: Přidání chybějící závorky |
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 12:
„Je menší nebo rovno“ je slabě antisymetrická relace: jelikož <math>a \leq b \and b \leq a</math> je nemožné pro různá <math>a\,\!</math> a <math>b\,\!</math>, je slabá antisymetrie zřejmá.
Slabá antisymetrie není opakem ''[[symetrická relace|symetrie]]'' <math>( a\mathbf{R}b \Rightarrow b\mathbf{R}a)</math>. Existují relace, které jsou jak symetrické, tak slabě antisymetrické ([[rovnost (matematika)|rovnost]]), existují i relace, které nejsou ani symetrické, ani slabě antisymetrické ([[dělitel (dělitelnost)|dělitelnost]]
Slabě antisymetrická relace, která je zároveň [[Tranzitivní relace|tranzitivní]] a [[reflexivní relace|reflexivní]] se nazývá [[neostré uspořádání]] (nebo jen [[uspořádání]]).
| |||