Remark:

The above theorem enables us to identify $\pi_1({\tilde X}, {\tilde x}_0)$ as a subgroup of $\pi_1(X, x_0)$.

We shall now discuss another important consequence of the path lifting property.