Abbildung/Bild einer Abbildung/Definition

Bild unter einer Abbildung

Es seien ${}L$ und ${}M$ Mengen und es sei

$F\colon L\longrightarrow M$

eine Abbildung. Zu einer Teilmenge  ${}S\subseteq L$  heißt

${}F(S)={\left\{y\in M\mid {\text{es gibt ein }}x\in S{\text{ mit }}F(x)=y\right\}}\,$

das Bild von ${}S$ unter ${}F$. Für  ${}S=L$  heißt

${}F(L)=\operatorname {bild} F\,$

das Bild der Abbildung.