Zu einer Teilmenge T ⊆ M {\displaystyle {}T\subseteq M} heißt eine Abbildung
mit φ | T = Id T {\displaystyle {}\varphi {|}_{T}=\operatorname {Id} _{T}} eine Retraktion von M {\displaystyle {}M} auf T {\displaystyle {}T} .
