For a locally path-connected subspace A⊆X, a selected component of the inverse image in a universal cover covers the corresponding component A0 of A. Its covering subgroup is ker(π1(A,a0)→π1(X,a0)); surjectivity onto all of A additionally requires A to be path connected.