环圈

数学中的环圈（loop）是拓扑空间X上的连续函数f，其定义域为单位区间I = [0,1]，而且f(0) = f(1)。换句话说，环圈是拓扑学中，起点和终点相同的道路（path）[1]。

在环面上的二个环圈a及b

环圈也可以视为是从点标空间单位圆S¹映射到X的连续映射f，因为S¹可以视为是I商空间under the identification of 0 with 1。

X所有环圈的集合可以形成一空间，称为X的环圈空间[1]。