Die Äquivalenzklassen sind die Kreise mit Mittelpunkt (0,0).
a12+ a22 = b12 + b22
Das ist genau dann der Fall, wenn
√(a12+ a22) = √(b12 + b22)
ist. Links steht der Abstand des Punktes (a1, a2) vom Ursprung, rechts der Abstand des Punktes (b1, b2) vom Ursprung.