es sei \( Q \circ R = \{ (x, z) : (x, a) \in Q \land (a, z) \in R \} \).
Sei \( Q = \{ (a, b), (b, a), (a, a), (b, b), (c, c) \} \) und \( R = \{ (b, c), (c, b), (a, a), (b, b), (c, c) \} \).
Dann ist \( Q \circ R = \{ (a, c), (a, b), (b, a), (a, a), (b, c), (b, b), (c, b), (c, c) \} \) nicht symmetrisch (es fehlt \( (c, a) \)) und daher keine Äquivalenzrelation.
Mister