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.