Eine Funktion ist surjektiv, wenn für alle y aus der Zielmenge ein x aus der Definitionsmenge existiert, so dass y = f(x) ist.