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