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: