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$).