Weak deformation retraction

From Topospaces

Definition

Let be a topological space and a subspace of . A weak deformation retraction from to is a homotopy such that: