Teilmenge/Retraktion/Definition

Zu einer Teilmenge $T\subseteq M$ heißt eine Abbildung

$\phi :M⟶T$

mit  $\phi {|}_T={\mathrm{Id}}_T$  eine Retraktion von $M$ auf $T$.