Dieser Artikel von Wikipedia ist u.U. veraltet. Die neue Version gibt es hier.
Surjektivität ( surjektiv ) ist eine Eigenschaft einer mathematischen Funktion . Sie tritt auf wenn jedes Element Wertemenge durch die Funktion abgebildet wird d.h. Element der Wertemenge hat mindestens ein Urbild . Eine surjektive Funktion ist also (als Relation gesehen) links- und rechtstotal.
Sei <math>f</math> eine Funktion von <math>X</math> <math>Y</math>. <math>f : X \to Y</math>
<math>f</math> ist surjektiv wenn für alle <math>y \in Y</math> mindestens ein <math>x \in X</math> mit <math>f(x) = existiert. ( mindestens eins bedeutet eins oder mehr als eins )