Surjektivität

In der Mathematik heißt eine Funktion surjektiv (engl.: onto, surjective), 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: heißt surjektiv genau dann, wenn .

Siehe auch: Bijektivität, Injektivität

(Der englische Artikel enthält weitere Eigenschaften und Beispiele.)