Surjektive Funktion

Eine Funktion heißt surjektiv (engl.: onto), wenn jedes Element der Wertemenge durch die Funktion abgebildet wird. Man nennt die Funktion dann eine Surjektion.

Eine surjektive Funktion ist also (als Relation gesehen) links- und rechtstotal.

Definition: $f:A\to B$ heißt surjektiv genau dann, wenn $\forall {y\in B}:\exists {x\in A}:f(x)=y$.

Siehe auch: Bijektivität, Injektivität