surjektiv

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.