Let $G = (X, \mathcal{E})$ be a D2742: Finite path graph such that

(i)	${\leftrightarrow}$ is a D5851: Graph connectivity relation for $G$

The set of connected components for $G$ is the D180: Quotient set \begin{equation} X / { \leftrightarrow } = \{ \leftrightarrow(x) : x \in X \} \end{equation}