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 !