在数学的分支拓扑学中，一个拓扑空间 "X" 称为 "n"-连通的当且仅当它是道路连通的且其开始 "n" 个同伦群为消失，即这里左边是第 "i" 个同伦群的记号。道路连通的条件也能表达为 0-连通，当定义“0 维同伦群”为：一个拓扑空间 "X" 是道路连通的当且仅当其 0 维同伦群消失，因为道路连通性意味着 "X" 中任何两点"x" 和 "x" 能用以 "x" 为起点，"x" 为终点一条连续道路连接起来，这和从 "S"（两个点的离散集）到 "X" 的任何映射能形变为常映射。有了这种定义，我们可以定义