# lifting of maps

Let $p:E\to B$ and $f:X\to B$ be (continuous^{}) maps. Then a
*lifting* of $f$ to $E$ is a (continuous) map $\stackrel{~}{f}:X\to E$ such that $p\circ \stackrel{~}{f}=f$. The terminology is justified by the following commutative diagram^{}