Assertion: function | /r/HasProperty | surjection
Facets:
value: necessarily
type: DEGREE
Source sentences:
text: The function f is surjective (or onto, or is a surjection) if the range equals the codomain, that is, if f(X) = Y.
text: Every surjective function has a right inverse, and every function with a right inverse is necessarily a surjection.
text: Every function with a right inverse is necessarily a surjection.
text: The codomain affects whether a function is a surjection, in that the function is surjective if and only if its codomain equals its image.