El Lema de Tukey (a veces citado como lema de Teichmüller-Tukey), enunciado por John Tukey y Oswald Teichmüller, es un lema que afirma que si es un conjunto de carácter finito, entonces existe un elemento maximal para el conjunto ordenado , 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. Su importancia radica en que puede utilizarse para demostrar fácilmente la existencia de bases de un espacio vectorial arbitrario, pues la familia de conjuntos vectores linealmente independientes es de carácter finito. Luego, este debe admitir un elemento maximal respecto a la inclusión (que ha de ser la base del espacio).