一条环路（）是从 "x" 到 "x" 的一条道路。一条环路可以视为连续映射 "f" : "I" → "X"，满足 "f"(0) = "f"(1) 或从单位圆 "S" 到 "X" 的连续映射这是因为 "S" 可以视为 "I" 把 0 ∼ 1 等价起来的商空间。所有 "X" 中的道路集合组成一个空间，称为 "X" 的环路空间。如果拓扑空间中任何两点之间有一条道路连接，则称之为道路连通。任何空间可以分成一些道路连通分支。空间 "X" 的道路连通分支集合通常记作 π("X")（与高维同伦群使用相同的记号，但第