图上的点的连通关系显然是一个等价关系，可以以这个等价关系将图划分为若干个等价类，每个这样的等价类中的所有点以及所有以这个等价类中任意两点为端点的边构成一个原图的子图，称为一个原图的一个连通分支（或连通分量）
对于一个图$G$，我们用$W(G)$表示它的连通分支数。