Proposition 1.5.25.  Let X, Y, Z be sets, f : X → Y be a surjective function, g : Y → Z be a surjective function. Then:
g ∘ f is surjective
No proof.