Definition
Let be space and . A deformation retraction of to is a retraction where . (, )
Note that this implies that (because is trivial)
(see homotopy equivalence)
This is not true in retraction, because we can just map to a single point.
Definition
If additionally relative to , then is a strong deformation retraction.