Simple connectedness Semilocal simple connectedness A topological space is called semilocally simply connected iff every has an open neighbourhood so that every continuous loop in is null-homotopic in , #m/def/topology i.e. if is the natural inclusion then is the trivial homomorphism. Properties A locally path-connected, connected space is semilocally simply connected iff it has a universal covering tidy | en | sembr