(mathematics) a mathematical relation such that each element of one set is associated with at least one element of another set
