Es sei p : Y → X {\displaystyle {}p\colon Y\rightarrow X} eine Überlagerung zwischen den topologischen Räumen Y {\displaystyle {}Y} und X {\displaystyle {}X} und sei T ⊆ X {\displaystyle {}T\subseteq X} eine Teilmenge. Zeige, dass