Definition:Set of All Loops (Topology)