Przestrzeń nakrywająca
Wygląd
Przestrzeń nakrywająca przestrzeni topologicznej – para gdzie jest przekształceniem ciągłym (zwanym przekształceniem nakrywającym) oraz dla każdego punktu istnieje takie otoczenie (zwane prawidłowo nakrytym), że podprzestrzeń jest topologicznie równoważna sumie rozłącznej o składnikach homeomorficznych ze zbiorem przy czym przekształcenie nakrywające obcięte do dowolnego takiego składnika ustala ten homeomorfizm.