This document provides an overview of set theory focusing on injective and surjective functions, defining injections and surjections, and providing various exercises and examples. Key definitions include that a function is injective if distinct elements map to distinct elements, and it is surjective if its range covers all elements of the target set. The document also explores conditions under which functions are one-to-one and onto, along with exercises related to calculating these properties for specific functions.