Die Abbildung f {\displaystyle {}f} heißt surjektiv, wenn es für jedes y ∈ M {\displaystyle {}y\in M} mindestens ein Element x ∈ L {\displaystyle {}x\in L} mit f ( x ) = y {\displaystyle {}f(x)=y} gibt.