Covers quotients in abelian groups and the concept of free abelian groups, showing that every abelian group is isomorphic to a quotient of a free abelian group.
Covers bijective functions, establishing one-to-one correspondences between sets and the importance of reducing domain and codomain for injectivity and surjectivity.
