A strong deformation retract is a subspace 
of 
defined relative to 
by a homotopy 
(called a retract)
such that for all 
, 
, and 
,
1. 
,
2. 
, and
3. 
.
If the last equation is required only for 
,
the retract is called simply a deformation retract.
