Let be the set of continuous mappings . Then the topological space supplied with the compact-open topology is called a mapping space, and if is taken as the circle , then is called the "free loop space of " (or the space of closed paths).
If is a pointed space, then a basepoint can be picked on the circle and the mapping space of pointed maps can be formed. This space is denoted and is called the "loop space of ."