Przestrzeń nakrywająca
Z Wikipedii
Niech X -- dowolna przestrzeń topologiczna. Parę nazwiemy przestrzenią nakrywającą przestrzeni X jeśli jest przekształceniem ciągłym oraz dla każdego punktu istnieje takie otoczenie U (zwane otoczeniem elementarnym), że U jest topologicznie równoważne dowolnej (każdej) składowej łukowej zbioru p^{-1}(U).