Assertion: syntax's argument | /r/HasProperty | assigned unique value
Facets:
value: by any function
type: OTHER
value: in its range
type: LOCATION
Source sentences:
text: The condition that the first members of the pairs are all different is the condition that each argument in the domain of \(f\) is assigned a unique value in its range by any function.