so wie man so gut wie immer überprüft, ob es sich um eine Äquivalenzrelation handelt. Prüfe ob die Relation symmetrisch, reflexiv und transitiv ist. Das ist in diesem Beispiel keine harte Nuss
Die Äquivalenzklassen sind die folgenden Mengen:
[x] := { y ∈ X | f(y) = f(x)}
Also jeweils das Urbild von f(x) was nichts anderes ist als f^{-1} ({f(x)}).
Gruß