surjektiv
eine Funktion ist surjektiv, wenn für jedes Objekt aus dem Wertebereich auch ein Objekt aus dem Definitionsbereich existiert bzw. für alle y aus Y (Wertemenge) gilt f(x) = y