Corollary 1.5.20.  Let X be a set, A ⊆ X, Y be a set, f : X → Y be an injective function. Then:
f∣A is injective
Proof.
1.5.19 ⇒ f∣AY is injective