Assertion: class's function | /r/CapableOf | map equivalent arguments
Facets:
value: y on y
type: LOCATION
value: more generally
type: DEGREE
value: to equivalent values
type: OTHER
value: under an equivalence relation
type: OTHER
Source sentences:
text: More generally, a function may map equivalent arguments (under an equivalence relation ~ X on X) to equivalent values (under an equivalence relation ~ Y on Y).