Definition:Simple Loop (Topology)