Xを位相空間、pをXのpathとする。

p(0) = p(1)

をみたすとき、pはXのloopという。