Abbildung/Surjektiv/Geeignete Einschränkung/Aufgabe

Es sei

$\varphi \colon L\longrightarrow M$

eine surjektive Abbildung. Zeige, dass es eine Teilmenge ${}S\subseteq L$ derart gibt, dass man ${}\varphi$ als Abbildung

$\varphi '\colon S\longrightarrow M$

auffassen kann (${}\varphi$ und ${}\varphi '$ unterscheiden sich nur hinsichtlich des Definitionsbereiches) und dass ${}\varphi '$ bijektiv ist.

Zur Lösung, Alternative Lösung erstellen