Sets, subsets, union, intersection, complement

Relations & functions

Proof techniques (direct, contradiction, induction)

Logic (propositions, connectives, quantifiers)

Number types (natural, integer, rational, real, complex)