Sei y ∈ Y {\displaystyle {}y\in Y} . Zu x = p ( y ) ∈ X {\displaystyle {}x=p(y)\in X} gibt es eine offene Umgebung x ∈ U {\displaystyle {}x\in U} derart, dass p − 1 ( U ) {\displaystyle {}p^{-1}(U)} die disjunkte Vereinigung von zu U {\displaystyle {}U} homöomorphen offenen Mengen ist. Auf einer dieser Mengen muss y {\displaystyle {}y} liegen.
