Every function with a surjective inverse is necessarily a surjection . The proposition that every right function has a right inverse is equivalent to the axiom of choice .
Every function with a right inverse is necessarily a surjection . The proposition that every surjective function has a right inverse is equivalent to the axiom of choice .