Graph Components are Equivalence Classes

Theorem
The components of a graph are equivalence classes under the relation "is connected to" on the set of vertices.

Proof
We have that Graph Connectedness is an Equivalence Relation.

The result follows directly from the definition of component.