Algebraic Topology
《Algebraic Topology》 · 第 66 页 · Section 3.3
A map \(p:E\to B\) has the homotopy lifting property with respect to \(X\) if every homotopy \(h:X\times I\to B\) and lift \(g:X\to E\) of \(h(-,0)\) admit a homotopy \(H:X\times I\to E\) with \(pH=h\) and \(H(-,0)=g\).