Homotopy extension property

A pair $(X,A)$ has the homotopy extension property when every homotopy on $A$ whose initial map extends to $X$ can itself be extended to a homotopy on $X$.