Topologie/Überlagerungen/Semi-lokal einfach-zusammenhängend/Definition
Semi-lokal einfach-zusammenhängend
Ein topologischer Raum ist semilokal einfach-zusammenhängend, wenn er lokal wegzusammenhängend ist und jeder Punkt eine wegzusammenhängende Umgebung derart besitzt, dass der durch die Inklusion induzierte Gruppenhomomorphismus
trivial ist. Eine solche Umgebung heißt Spezialumgebung.