Überlagerungsraum

Ein topologischer Raum C zusammen mit einer stetigen surjektiven Abbildung p: C → X (der Überlagerung) auf einen Basisspace X, so dass jeder Punkt von X eine offene Umgebung U besitzt, für die p^{-1}(U) eine disjunkte Vereinigung offener Teilmengen von C ist, von denen jede durch p homöomorph auf U abgebildet wird. Die Fasern p^{-1}(x) sind diskrete Mengen und p ist eine lokale Homöomorphie.