Discrete Mathematics/Axiom of choice

< Discrete Mathematics

This page or section is an undeveloped draft or outline.
You can help to develop the work, or you can ask for assistance in the project room.

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.

Retrieved from "https://en.wikibooks.org/w/index.php?title=Discrete_Mathematics/Axiom_of_choice&oldid=3233788"