Proposition 1.5.26.  Let X, Y, Z be sets, f : X → Y, g : Y → Z be functions such that g ∘ f is injective. Then:
f is injective
No proof.