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

${\displaystyle F\colon L\longrightarrow M}$

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

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

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

${\displaystyle F(L)=\operatorname {Bild} \,(F)}$

das Bild der Abbildung.