Abbildung/Surjektiv/Geeignete Einschränkung/Aufgabe/Lösung
Wegen der Surjektivität von gibt es zu jedem mindestens ein mit . Wir wählen nun zu jedem ein solches zugehöriges . Es sei die Vereinigung all dieser gewählten . Die auf eingeschränkte Abbildung
ist nach wie vor surjektiv, da ja jedes von einem (dem gewählten) erreicht wird. Die Abbildung ist injektiv, da es zu jedem
in nur das eine gewählte Urbild gibt. Insgesamt ist also bijektiv.