(AC) and the definition of connectedness in graphs – mathoverflow.net

A finite, undirected graph $G=(V,E)$ is connected in the traditional sense if for all $v, w\in V$ with $v\neq w$ there is a finite path from $v$ to $w$. Moreover, $G$ is connected in the topological ...