Assertion: surjective function | /r/HasAspect | right inverse
Facets:
Source sentences:
text: Every surjective function has a right inverse, and every function with a right inverse is necessarily a surjection.
text: The proposition that every surjective function has a right inverse is equivalent to the axiom of choice.