irreflexive Relation

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

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