transitive relation

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

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