Definition:Constant Loop (Topology)