Universal Cover

A covering space p: Ũ → X that is simply connected (Ũ is path-connected and π1(Ũ) is trivial) and covers X; when it exists, the universal cover maps onto the base and every other connected covering of X factors through it. It is unique up to homeomorphism over X.