Assertion: function | /r/CapableOf | induce surjection
Facets:
value: by restricting its codomain
type: MANNER
Source sentences:
text: Any function induces a surjection by restricting its codomain to the image of its domain.
text: Any function induces a surjection by restricting its codomain to its range.