提升問題

給定一個 對映 從一個 空間 到一個 空間 和另一個 對映 從一個 空間 到一個 空間 ，是否存在一個 對映 從 到 使得 ？如果這樣的對映 存在，則 被稱為 的提升。