Description: Define the class of
simply connected topologies. A topology is simply
connected if it is path-connected and every loop (continuous path with
identical start and endpoint) is contractible to a point (path-homotopic
to a constant function). (Contributed by Mario Carneiro, 11-Feb-2015.)
(New usage is discouraged.)