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.