Definition

For a topological space , a universal cover is a cover whose total space is simply connected.

Why “universal”?

Let be a universal cover and a cover. Then is a cover of

Proof

todo