Parallelism is Equivalence Relation

Theorem
Let $S$ be the set of straight lines in the plane.

For $l_1, l_2 \in S$, let $l_1 \parallel l_2$ denote that $l_1$ is parallel to $l_2$.

Then $\parallel$ is an equivalence relation on $S$.

Proof
Checking in turn each of the criteria for equivalence:

Transitivity
$\parallel$ has been shown to be reflexive, symmetric and transitive.

Hence by definition it is an equivalence relation.