Set . The relation is exactly
It is therefore the equivalence relation induced by a function: equality of the two function values is reflexive, symmetric, and transitive. Hence this is an equivalence relation.