Discrete Mathematics/Axiom of choice

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

Axiom of choice:

If is a surjective map, then there exists a map such that is the identity (trivial) map.

Lemma: Every set can be well-ordered.