Discrete Mathematics/Axiom of choice

Axiom of choice:

If $f:A\rightarrow B$ is a surjective map, then there exists a map $g:B\rightarrow A$ such that $f\circ g$ is the identity (trivial) map.

Lemma: Every set can be well-ordered.