# Universal covering

A covering $p:X\rightarrow Y$ of a space $Y$ is subordinate to a covering $p':X'\rightarrow Y$ if there is a covering $f:X'\rightarrow X$ such that $p'=pf$.