Definition

A deformation retract is a retract such that there is a homotopy from the identity map to the retract.

In other words, a deformation retract is a continuous map from a topological space to a subspace such that

and there exists a homotopy