(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)