This course introduces the student to the methods and language of upper division mathematics. It presents formal set theory, and introduces the student to the methods of formulating and writing mathematical proofs. Finally, it provides the student a rigorous introduction to the theory of relations, functions, and infinite sets.