Eine Surjektion beschreibt die Eigenschaft einer mathematischen Funktion, bei welcher jedes Element der Zielmenge mindestens einmal als Funktionswert angenommen wird.
Auch als Rechtstotalität bekannt ist eine surjektive Funktion dafür zuständig, dass allen Elementen der rechten Mengen mindestens eines der linken Menge zugeordnet ist. Dies gilt übrigens nur für natürliche, positive Zahlen. Ein anderer Term dafür wäre auch die Aufabbildung.
Ich denke hier sind die deutschen Übersetzungsversuche alle deskriptiv in Ordnung, aber nicht wirklich überzeugend. Darum bleibt es wohl bei der Verwendung des Fachbegriffs. Und unter einer Rechtstotalität habe ich mir bis jetzt eh etwas anderes vorgestellt.