Principio maximal de Hausdorff
En matemáticas, el principio maximal de Hausdorff es una formulación alternativa y anterior al lema de Zorn[1], demostrada por Felix Hausdorff en 1914. Este resultado es uno de los muchos equivalentes al axioma de elección sobre ZF (teoría de conjunto de Zermelo–Fraenkel sin el axioma de elección). También es conocido bajo el nombre de teorema de maximalidad de Hausdorff y de lema de Kuratowski.
Enunciado
El principio maximal de Hausdorff establece que en cualquier conjunto parcialmente ordenado (poset), todo subconjunto totalmente ordenado está contenido en un subconjunto maximal totalmente ordenado El subconjunto maximal no es único en general; puede haber varios subconjuntos maximales totalmente ordenados que contienen a un subconjunto totalmente ordenado dado[2].
