Wrote sections on injective functions and subsets