Rétraction par déformation

Une rétraction par déformation est une rétraction $r : X \rightarrow A$ telle qu’il existe une homotopie $H_{t}:X \rightarrow X$ entre $r$ et l’identité, qui préserve $A$.