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. 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.