设R为空间X中点的连通关系，每个等价类R[x]称为空间X的一个连通分支。设Y为空间X的非空子集，Y作为X的子空间的连通分支称为X的子集Y的连通分支。