a mathematical relation such that each element of one set is associated with at least one element of another set
(mathematics) a mathematical relation such that each element of a given set (the domain of the function) is associated with an element of another set (the range of the function)