Abbildung/Surjektiv/Definition

Surjektiv

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

$F\colon L\longrightarrow M,\,x\longmapsto 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.