Die Überlagerung eines topologischen Raums X {\displaystyle X} ist eine stetige Abbildung π : E → X {\displaystyle \pi \colon E\rightarrow X} mit speziellen Eigenschaften.