(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). Synonyms: map, mapping, mathematical function, single-valued function.