Seien x,y ∈ X. Die gibt es, da X nicht leer.
1. Fall x=y . Dann ist offenbar auch \( [x]=[y] \).
2. Fall x≠y und \( [x] \ne [y] \). Angenommen es gäbe ein z∈X
mit \( z \in [x] \) und \( z \in [y] \) .
==> (z,x) ∈ R und (z,y)∈ R
Wegen Symmetrie und Transitivität von R
==> (x,y)∈R.
==> \( [x] = [y] \) . Widerspruch !