|| 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.