Zu einer surjektiven Abbildung

${\displaystyle p\colon L\longrightarrow M}$

heißt eine Abbildung

${\displaystyle s\colon M\longrightarrow L}$

mit ${\displaystyle {}p\circ s=\operatorname {Id} _{M}}$ ein Schnitt in ${\displaystyle {}M}$ (zu ${\displaystyle {}p}$).