Assertion: function's domain | /r/HasAspect | a many to one correspondence
Facets:
value: in a valid function
type: OTHER
Source sentences:
text: Hence, it can be said that in a valid function, Domain (x) and Range (y) have a many to one correspondence so that every given Domain value has one and only one Range value as a result, but not necessarily vice versa.