Überlagerung

Eine stetige surjektive Abbildung p : E -> B, so dass jeder Punkt b in B eine offene Umgebung U besitzt, für die p^{-1}(U) eine disjunkte Vereinigung offener Mengen in E ist, die jeweils homeomorph auf U abgebildet werden; diese homeomorphen Scheiben heißen Blätter und p wird als Überlagerungsprojektion bezeichnet.