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}$$

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 } = \left\{ \{ y : (x, y) \in {\leftrightarrow} \} : x \in X \right\} \end{equation}$$