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

${\displaystyle F\colon L\longrightarrow M,\,x\longmapsto F(x),}$

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

${\displaystyle {}F(x)=y\,}$

gibt.