Ein lokaler Homöomorphismus p : Y → X {\displaystyle {}p\colon Y\rightarrow X}
ist eine offene Abbildung.
