Serre ファイブレーション

連続写像 $p:E\to B$ が Serre ファイブレーションであるとは、任意の $k\ge0$、任意の $G:I^k\times I\to B$ と、$I^k\times\{0\}\cup\partial I^k\times I$ 上の連続写像 $\tilde G_0$ で $p\tilde G_0=G$ を満たすものに対し、$\tilde G_0$ を延長する $\tilde G:I^k\times I\to E$ で $p\tilde G=G$ となるものが存在することをいう。$b_0\in B$ の上の $F=p^{-1}(b_0)$ をファイバーという。