Sets and FunctionsIntroduces sets, functions, and proofs in mathematics, covering set equality, subsets, Cartesian products, and truth sets of predicates.
Sets and RelationsIntroduces sets, Cartesian product, order importance, and relations on sets.