This document defines functions and related terminology such as domain, codomain, range, one-to-one functions, onto functions, and bijections. It provides examples of graphical representations of functions and discusses concepts like whether a function is one-to-one or onto based on its graph. The pigeonhole principle is also introduced as stating that if more items are put into fewer containers, at least one container must hold multiple items.