Corollary 1.5.22.  Let X be a set, A ⊆ X, Y be a set, f : X → Y be a function such that f∣A is surjective. Then:
f is surjective
Proof.  By 1.5.21.