Discrete Mathematics/Axiom of choice

< Discrete Mathematics

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.

This article is issued from Wikibooks. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.