Topologie/Überlagerungen/Faser/Fakt

Es sei eine Überlagerung und zusammenhängend.

Dann ist

für alle .