Assertion: function's domain | /r/HasProperty | shown
Facets:
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.
text: Right: two possible domains X 1 and X 2 are shown.