Right Inverse for Surjective Function

Suppose that $f\colon A\to B$ is surjective, then for every $b\in B$ the set $F_b=\{a\in A\mid f(a)=b\}$ is non-empty. Therefore, using the axiom of choice, there is some $g$ which selects an element from $F_b$, that is $g(F_b)\in F_b$.

Now show that $g$ is actually a function from $B$ into $A$, and that $g$ is injective.

(You can't avoid the axiom of choice in this proof, because in fact this statement is equivalent to the axiom of choice, and often is taken as the statement of the axiom of choice.)


What would an inverse look like? For every element $y$ of $Y$, it would send $y$ to an element of $X$ in the preimage of $Y$. You can just make up such a map by choosing $g(y)$ to be any point in $f^{-1}(y).$