Zu einer surjektiven Abbildung
heißt eine Abbildung
mit p∘s=IdM{\displaystyle {}p\circ s=\operatorname {Id} _{M}} ein Schnitt in M{\displaystyle {}M} (zu p{\displaystyle {}p}).