Es sei Y ⊆ X {\displaystyle {}Y\subseteq X} ein Deformationsretrakt eines topologischen Raumes X {\displaystyle {}X} und P ∈ Y {\displaystyle {}P\in Y} .
Dann sind die Fundamentalgruppen π 1 ( Y , P ) {\displaystyle {}\pi _{1}(Y,P)} und π 1 ( X , P ) {\displaystyle {}\pi _{1}(X,P)} zueinander kanonisch isomorph.
