∼ 1 等价起来的商空间。所有 "X" 中的道路集合组成一个空间，称为 "X" 的环路空间。如果拓扑空间中任何两点之间有一条道路连接，则称之为道路连通。任何空间可以分成一些道路连通分支。空间 "X" 的道路连通分支集合通常记作 π("X")（与高维同伦群使用相同的记号，但第 0 个事实上不是群。）我们也可以定义带基点的空间中的道路与环路，这在同伦论中非常重要。如果 "X" 是以 "x" 为基点的拓扑空间，则 "X" 中的道路以 "x" 为起点；类似地，"X" 中环路以 "x" 为基点。Secti