n. 1.a mathematical relation such that each element of one set is associated with at least one element of another set