Surjektive Funktion

Ein Funktion heißt surjektiv (engl.: onto), wenn jedes Element der Wertemenge durch die Funktion abgebildet wird.

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

Definition: f: A → B heißt surjektiv genau dann wenn ∀ y ∈ B: ∃ x ∈ A: f(x)=y.