Discrete Mathematics/Axiom of choice

From Wikibooks, open books for an open world
Jump to: navigation, search

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.