# Discrete Mathematics/Axiom of choice

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.