1. A function is a special type of relation where each input is uniquely mapped to an output. 2. A function f maps a domain set A to a codomain set B such that each element of A is mapped to exactly one element of B. 3. Functions can be described using formulas to define the output for each input or by explicitly listing the inputs and their corresponding outputs.