给定一个地图 来自空间 到空间 和另一个地图 来自空间 到空间 ，是否存在地图 从到这样的话? 如果这样的地图存在，那么称为举起属于.
更多需要尝试的事情：
埃里克·魏斯坦（Eric W.Weisstein）。“起重问题。”发件人数学世界--Wolfram Web资源。https://mathworld.wolfram.com/LiftingProblem.html网址
