(mathematics, logic, of a relationship between two sets) having the property that many elements of one set may be assigned by the relationship to one element in the other set, and that a given element in the first set can be assigned by only one member of the second set.