lifting of mapsLet p:E→B and f:X→B be (continuous) maps. Then alifting of f to E is a (continuous) map f~:X→E such that p∘f~=f. The terminology is justified by the following commutative diagram