Given a Map from a Space to a Space and another Map from a Space to a Space , does there exist a Map from to such that ? If such a map exists, then is called a Lift of .