Symbolic logic. Set theory. Cartesian product. Relations. Functions. Injective, surjective and bijective functions. Composition of functions. Equipotent sets. Countability of sets. More about relations: equivalence relations, equivalence classes and partitions. Quotient sets. Order relations: Partial order, Total order, Well ordering. Mathematical induction and recursive definitions of functions.