Eine surjektive Funktion ist eine mathematische Funktion, die jedes Element der Zielmenge mindestens einmal als Funktionswert annimmt. Das heißt, jedes Element der Zielmenge hat ein nichtleeres Urbild.
eine spezielle Relation, die jedem Element der Definitionsmenge AAA genau ein Element der Zielmenge BBB zuordnet.