Definition A topological space is called semilocally simply connected if for , there exists an open set such that is the trivial map.