A Homotopy between the identity map of a space XXX and a Retraction to a subspace A⊂XA \subset XA⊂X.
I think that a retraction deformation between a space and a subspace implies they are Homotopy equivalent