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