Surjection

Eine Abbildung \(f: X \rightarrow Y\) ist surjektiv, wenn gilt:

\begin{align*} \forall y \in Y \exists x \in X (f: x \mapsto y) \end{align*}