Jump to content

Discrete Mathematics/Axiom of choice

From Wikibooks, open books for an open world

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.