Let C be the collection of all lines in the plane. Define a relation on C by saying that two lines are equivalent if and only if they are parallel or equal. Show that this an equivalence relation on L.

Recall that a equivalence relation must satisfy three conditions: it must be symmetric, reflexive and transitive. Let us study each one of them.

Reflexive: Here we have to prove that an element is in relation with itself. In this particular case, we need to show that every line is parallel or equal to itself, which is obvious.

Symmetric: Here we have to show that if one element is in relation with another, the reciprocal is also true. So, in this case, we want to show that if the line r is in relation with s, then the line s is in relation with r. So, as r is in relation with s, they are equal or parallel.

If they are equal, r=s implies s=r directly. If they are parallel, from elementary geometry we know that r║s means that s║r too. So, the relation is reflexive.

Transitive: Here we want to show that if r is in relation with s, and s is in relation with t, then r is in relation with t. Let us assume that the three lines are parallel, because if we have equality between two of them the statement is true directly from the above example. If the three are parallel and distinct, we know from elementary geometry that if r║s and s║t then r║t. So, the relation is transitive.

Therefore, as the relation is transitive, symmetric and reflexive is an equivalence relation.