In the mathematical field of topology, a free loop is a variant of the notion of a loop. Whereas a loop has a distinguished point on it, called its basepoint, a free loop lacks such a distinguished point. Formally, let
