This document defines sets and set operations. A set is an unordered collection of elements. Sets can be represented visually using Venn diagrams. Set operations like union, intersection, difference describe how sets relate to each other. Functions map elements from one set to another. Functions can be one-to-one, onto, or bijective. Mathematical induction is a method to prove statements for all positive integers, by proving the base case and inductive step. Exercises demonstrate using sets, functions, and induction to solve problems.