Eine Überlagerung p : Y → X {\displaystyle {}p\colon Y\rightarrow X}
ist ein lokaler Homöomorphismus.
