Es sei X {\displaystyle {}X} ein topologischer Raum. Eine Überlagerung p : E → X {\displaystyle {}p\colon E\rightarrow X} heißt universelle Überlagerung, wenn der topologische Raum E {\displaystyle {}E} einfach-zusammenhängend ist.
