This document defines and provides examples of different types of relations and functions. It begins by defining what a relation is as a set of ordered pairs where one element is related to another. It then defines various types of relations including reflexive, irreflexive, symmetric, antisymmetric, asymmetric, and transitive relations. Next, it defines what a function is as a special type of relation where each input is mapped to exactly one output. It discusses the domain, codomain, range, image, and preimage of a function. Finally, it defines injective, surjective, bijective functions as well as inverse functions and function composition.