给定一个地图 来自空间 到空间 还有另一个地图 来自空间 到空间 ，电梯是地图 从到这样的话换句话说是一个地图 这样图（如下所示）就可以通勤。
如果是来自的身份到,一歧管，如果是束投影来自切线束到，电梯是精确的矢量领域.如果是任何纤维束到，那么电梯就是部分。如果是来自的身份到,一歧管、和定向双层覆盖的投影，则存在电梯若（iff） 是可定向的歧管.
如果是一个地图从一圆圈到，一个-歧管、和来自纤维捆交替的n个-表格在，那么电梯总是存在的若（iff） 是可定向的。如果是一个地图来自复杂的飞机到复平面（复数分析），如果是指数地图,升降机都是准确的对数属于.
更多需要尝试的事情：
埃里克·魏斯坦（Eric W.Weisstein）。“提升”自数学世界--一个Wolfram Web资源。https://mathworld.wolfram.com/Lift.html
