homotopy extension property
Let be a topological space and a subspace
of . Suppose there is a continuous map
and a homotopy of maps . The inclusion map is said to have the homotopy extension property if there exists a continuous map such that the following diagram commutes: