Otevřít hlavní menu

Změny

Velikost nezměněna ,  před 6 lety
m
→‎Typy: Přidání chybějící závorky
Formálně zapsáno:
 
:<math>(\forall a, b \in \mathbf{X} )(a\mathbf{R}b \and b\mathbf{R}a \; \Rightarrow \; a = b)</math>
 
„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á.
245

editací