Bildung von Äquivalenzklassen