Proposition 1.5.5.  Let X, Y be sets, f : X → Y be a function. Then:
f-1(Y) = X
Proof.
  • Trivial.
  • Let x ∈ X. Then x ∈ f-1(Y) by definition.