In mathematical topology, a path whose initial point is equal to its terminal point.