El Lema de Tukey, enunciado por John Tukey y Oswald Teichmüller, es un lema que afirma que si a {\displaystyle a} es un conjunto de carácter finito, entonces existe un elemento maximal para el conjunto ordenado {\displaystyle }, esto es, un elemento maximal respecto a la inclusión.[1]​ Este axioma, en la teoría de conjuntos de Zermelo-Fraenkel, es una más de las formas equivalentes del axioma de elección. Wikipedia