Topologischer Raum/Deformationsretrakt/Fundamentalgruppe/Fakt

Es sei ${}Y\subseteq X$ ein Deformationsretrakt eines topologischen Raumes ${}X$ und ${}P\in Y$ .

Dann sind die Fundamentalgruppen ${}\pi _{1}(Y,P)$ und ${}\pi _{1}(X,P)$ zueinander kanonisch isomorph.