Abbildung/Surjektiv/Definition

Surjektiv

Es seien $L$ und $M$ Mengen und es sei

$F:L⟶M,x⟼F(x),$

eine Abbildung. Dann heißt $F$ surjektiv, wenn es für jedes  $y\in M$  mindestens ein Element  $x\in L$  mit

$F(x)=y$

gibt.