且 "p"(1) = "q"(1)）两条路径 "p" : [0,1] → "X" 和 "q" : [0,1] → "X"，存在一个同伦使得此时拓扑空间"X" 是单连通的。一个拓扑空间"X" ，当且仅当拓扑空间"X" 道路连通，且其基本群仅由单位元素构成时，它是单连通的。类似的，当且仅当对拓扑空间"X" 中的任意点 (x,y),在"X" 的基本群中，态射 formula_8 的集合只有一个元素时，拓扑空间"X" 是单连通的。若拓扑空间"X" 可写成单连通开子集之并，则称之为局部单连通。微分拓