Ich kann mir im Moment unter den Begriffen auch nichts vorstellen.
Sei f:ℝ x ℝ→ℝ die Abbildung mit f(x,y)= √(x2+y2). (alles in der Wurzel)
Wenn man mal annimmt, dass äquivalent heisst, dass unter f das gleiche Resultat rauskommt.
und sich für die Urbilder interessiert:
Kann man sich Folgendes überlegen
f(x,y)= √(x2+y2) berechnet für jeden Punkt in der Ebene dessen Abstand vom Punkt P(0/0) {Pythagoras}
Dasselbe kommt raus, wenn die Punkte auf einem Kreis um P(0/0) liegen.
Deshalb würde ich die Menge aller Kreise um P(0/0) als Äquivalenzklassen bezeichnen.
Zeichnet man die Werte von f in z-Richtung ein, entsteht ein rotationssymmetrischer 3-d Trichter mit Steigungswinkel 45°.
Könnte das euer Abbildungssatz sein?