A function is a relation from a set of inputs to a set of possible outputs where each input is related to exactly one output. This means that if the object x is in the set of inputs then a function f will map the object x to exactly one object f(x) in the set of possible outputs.