reflexive relation

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

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