Assertion: function's range | /r/CapableOf | equal the codomain
Facets:
value: if f(x
type: OTHER
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.