El Axioma de Elección es equivalente al Principio del Buen Orden y al Lema de Zorn (3/4)

La idea intuitiva para probar que el Lema de Zorn implica el AE es usar funciones parciales de elección con dominio incluido en A, y luego en el conjunto de dichas funciones parcialmente ordenado por la relación de inclusión entre conjuntos, se aplica el Lema de Zorn para obtener una función maximal, dicha función maximal tiene como dominio todo A, es decir, es una función de elección para A.

Max Zorn (1906-1993)