Es sei p : Y → X {\displaystyle {}p\colon Y\rightarrow X} eine Überlagerung von topologischen Räumen X {\displaystyle {}X} und Y {\displaystyle {}Y} mit X {\displaystyle {}X} hausdorffsch.