is semi locally simply connected if for all there is an open neighbourhood of st any loop in based at is contractible in .