Functions are special types of relations where each input is paired with exactly one output. Functions can be expressed as sets of ordered pairs, tables, mappings, or graphs. A function expressed as a graph will pass the vertical line test, meaning a vertical line drawn on the graph will intersect it at only one point.