397 B
397 B
alias
| alias | ||
|---|---|---|
|
up::relation #s/maths/algèbre
Soit \mathscr R une relation sur E.
\mathscr R est symétrique ssi :
\forall (x,y)\in E^2, x\mathscr Ry\implies y\mathscr Rx
On peut aussi l'écrire :
\forall (x,y)\in E^2, x\mathscr Ry\iff y\mathscr Rx
Autrement dit, une relation symétrique est une relation commutativité