Surjektivität (
surjektiv) oder
Rechtstotalität (
rechtstotal; in der Sprache der
Relationen) ist eine Eigenschaft einer mathematischen
Funktion. Sie bedeutet, dass jedes Element der
Zielmenge mindestens einmal als Funktionswert angenommen wird, also mindestens ein
Urbild hat. Eine Funktion ist bezüglich ihrer
Bildmenge immer surjektiv. Eine surjektive Funktion wird auch als
Surjektion bezeichnet.