Set of Mappings which map to Same Element induces Equivalence Relation

Theorem
Let $X$ and $Y$ be sets.

Let $E$ be the set of all mappings from $X$ to $Y$.

Let $b \in X$.

Let $\RR \subseteq E \times E$ be the relation on $E$ defined as:
 * $\RR := \set {\tuple {f, g} \in \RR: \map f b = \map g b}$

Then $\RR$ is an equivalence relation.

Proof
Checking in turn each of the criteria for equivalence:

Reflexivity

 * $\forall f \in E: \map f b = \map f b$

That is:
 * $\forall f \in E: \tuple {f, f} \in \RR$

Thus $\RR$ is seen to be reflexive.

Symmetry
Thus $\RR$ is seen to be symmetric.

Transitivity
Let $f, g, h \in E$.

Thus $\RR$ is seen to be transitive.

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

Hence by definition it is an equivalence relation.