Assertion: function | /r/HasProperty | defined with restricted codomain
Facets:
Source sentences:
text: However, the function defined by (with the restricted codomain) surjective, since for every in the nonnegative real codomain , there is at least one in the real domain such that .