(AC) and the definition of connectedness in graphs – mathoverflow.net
Dominic van der Zypen
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 ...