Aunque no vamos a demostrarlo aquí, el Axioma de Elección es equivalente a los dos siguientes resultados: