heißt eine Funktion f : A ® B, die jedes Element der Menge B trifft, d.h. deren Wertebereich gleich der ganzen Menge B ist. Eine solche Funktion heißt auch Surjektion. 
Abbildung oder Funktion, die die Eigenschaft aufweist, dass jedes Element der Menge, in der die Funktionswerte liegen, auch ein zugeordneter Wert der Funktion ist.