Abbildungsmenge/Ein Element/Auswertung/Komplement/Aufgabe

Es seien ${}L$ und ${}M$ Mengen und ${}x\in L$ fixiert. Zeige, dass die Abbildung

$\operatorname {Abb} \,{\left(L,M\right)}\longrightarrow M\times \operatorname {Abb} \,{\left(L\setminus \{x\},M\right)},\,\varphi \longmapsto (\varphi (x),\varphi {|}_{L\setminus \{x\}}),$

bijektiv ist.

Eine Lösung erstellen