Topologie/Überlagerungen/Semi-lokal einfach-zusammenhängend/Fakt
Es sei lokal wegzusammenhängend und eine universelle Überlagerung.
Dann gibt es für jedes eine offene Menge mit der Eigenschaft, dass der durch die Inklusion induzierte Gruppenhomomorphismus trivial ist.