Surjektive Abbildung/Schnitt/Definition

Zu einer surjektiven Abbildung

$p\colon L\longrightarrow M$

heißt eine Abbildung

$s\colon M\longrightarrow L$

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