homotopy extension property

《Algebraic Topology》 · 第 14 页 · Section 0.2

A pair \((X,A)\) has the homotopy extension property if every map \(X\times\{0\}\cup A\times I\to Y\) extends to a map \(X\times I\to Y\).