Proposition 1.5.13.  Let X, Y be sets, f : X → Y be a function. Then:

Proof.  Let x ∈ X. Then f(x) = f(x).