Wenn \(A(x)\) die Äquivalenzklasse von \(x\) bedeuten soll, dann:
\(z\in A(x)\Rightarrow z\sim x\). Wegen \(x\sim y\) folgt aus der Transitivität
\(z\sim y\), also \(z\in A(y)\), somit \(A(x)\subseteq A(y)\) und aus Symmetriegründen
analog \(A(y)\subseteq A(x)\), folglich \(A(x)=A(y)\).