Re(¯z - i) ist doch eine reelle Zahl.
Wenn das gleich z sein soll, muss z also auch reell sein
und z_quer also auch. Und z_quer -i ist für
reelles z_quer doch immer eine komplexe Zahl mit
Realteil z_quer bzw. (s.o.) z.
Also ist das m.E. die Menge der reellen Zahlen.