Assertion: y | /r/HasProperty | mapped
Facets:
value: from an element x in x
type: LOCATION
Source sentences:
text: That is, every y in Y is mapped from an element x in X, more than one x can map to the same y. Left: Only one domain is shown which makes f surjective.