Mit \( R \circ R \) wird die Verkettung einer binären Relation \( R \) auf einer Menge \( M \) bezeichnet. \( R \circ R \) enthält genau die Paare \( (a, c) \in M \times M \), für die ein \( b \in M \) mit \( (a, b) \in R \) und \( (b, c) \in R \) existiert.
Zeigen Sie: Ist \( R \) eine partielle Ordnung auf einer Menge \( M \), dann ist auch \( R \circ R \) eine partielle Ordnung auf \( M \)
