Eine Funktion $f:A\to B$ ist surjektiv, wenn für jedes $y\in B$ ein $x\in A$ existiert mit $f(x)=y$.
Formal:
$$ \forall y\in B\ \exists x\in A:\ f(x)=y. $$Surjektivität bedeutet, dass das Bild von $f$ ganz $B$ ist: $f(A)=B$. Zusammen mit Injektivität ergibt sich Bijektivität (Umkehrfunktion auf ganz $B$).