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