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