Introduces Cartesian products, equivalence relations, and functions, emphasizing the importance of order and discussing injective, surjective, and bijective functions.
Covers bijective functions, establishing one-to-one correspondences between sets and the importance of reducing domain and codomain for injectivity and surjectivity.