sei \( R = \{ (a, b), (b, a), (a, a), (b, b), (c, c) \} \) und \( S = \{ (a, c), (c, a), (a, a), (b, b), (c, c) \} \).
Dann ist \( (b, a), (a, c) \in R \cup S \), aber es ist \( (b, c) \not\in R \cup S \).
Daher ist \( R \cup S \) keine Äquivalenzrelation, denn die Transitivität ist verletzt.
Mister