This document provides an introduction to functions and their properties. It defines what a function is as a mapping from a domain set to a codomain set, and introduces related concepts like domain, codomain, range, and the notation for functions. It then gives examples of specifying functions explicitly and with formulas. The document discusses properties of functions like injectivity, surjectivity, and being increasing or decreasing. It provides examples of determining if a function has these properties. The document concludes by introducing the concept of the inverse function for bijective functions.