symmetric relation

Sei \(R \subseteq M \times M\) eine homogene Relation auf die Menge \(M\) \(R\) ist genau dann Symmetrisch, wenn gilt:

\begin{align*} \forall x,y \in M : ((x,y) \in R \Rightarrow (y,x) \in R) \end{align*}