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.

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 \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.