Aquest axioma, anomenat també axioma de l’elecció, és equivalent al teorema de Zermelo, segons el qual tot conjunt admet una relació d’ordre que en fa un conjunt ben ordenat. Hi ha una versió més dèbil de l’axioma de l’elecció en el cas d’ésser finita la col·lecció de conjunts.
m
Matemàtiques