# Discrete Mathematics/Axiom of choice

From Wikibooks, open books for an open world

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 is a surjective map, then there exists a map such that is the identity (trivial) map.

Lemma: Every set can be well-ordered.