Bildmenge

Seien \(M,N\) Mengen und Sei \(f: M \rightarrow N\) eine Abbildung. Für eine Teilmenge \(U \subseteq M\) ist die Bildmenge definiert als

\begin{align*} f[U] \coloneqq \{y \in N \vert \exists u \in U : y = f(u)\} \end{align*}