Assertion: function's codomain | /r/HasProperty | restricted
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 .