Relation Induced by Mapping is Equivalence Relation

Theorem
Let $f: S \to T$ be a mapping.

Let $\mathcal R_f \subseteq S \times S$ be the relation induced by $f$:
 * $\left({s_1, s_2}\right) \in \mathcal R_f \iff f \left({s_1}\right) = f \left({s_2}\right)$

Then $\mathcal R_f$ is an equivalence relation.

Proof
We need to show that $\mathcal R_f$ is an equivalence relation.

Checking in turn each of the criteria for equivalence:

Reflexive
$\mathcal R_f$ is reflexive:


 * $\forall x \in S: f \left({x}\right) = f \left({x}\right) \implies x \mathop {\mathcal R_f} x$

Symmetric
$\mathcal R_f$ is symmetric:

Transitive
$\mathcal R_f$ is transitive:

Thus $\mathcal R_f$ is reflexive, symmetric and transitive, and is therefore an equivalence relation.