Assertion: function | /r/CapableOf | map one or more elements of x
Facets:
value: to the same element of y.
type: TRANSITIVE-OBJECT
Source sentences:
text: It is not required that x be unique; the function f may map one or more elements of X to the same element of Y.