Deformation retraction map

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.