纖維化

如果 是一個 纖維叢，其中 是一個 仿緊 拓撲空間，那麼 滿足相對於所有 拓撲空間的 同倫 提升性質。換句話說，如果 是從 到 的一個 同倫，並且如果 是 對映 相對於 的一個 提升，那麼 有一個相對於 到一個 對映 的 提升。因此，如果你有一個進入 的 對映的 同倫，並且如果它的開始部分有一個 提升，那麼該 提升 可以擴充套件到 同倫 本身的一個 提升。

纖維化是 拓撲空間 之間的 對映，它滿足 同倫 提升性質。