El lema de Zorn, también llamado de Kuratowski-Zorn, es una proposición de la teoría de conjuntos que afirma lo siguiente:

 

Debe su nombre al matemático Max Zorn.
Los términos se definen como sigue. Supóngase que (P, ≤) es un conjunto parcialmente ordenado. Un subconjunto T de P es totalmente ordenado si para cualquier s, t ∈ T se tiene s ≤ t o t ≤ s. Tal conjunto T tiene una cota superior u ∈ P si t ≤ u para cualquier t ∈ T; no se necesita que u sea miembro de T. Un elemento  m ∈ P es maximal si el único x ∈ P tal que m ≤ x es m mismo.
Al igual que el teorema del buen orden, el lema de Zorn es equivalente al axioma de elección, en el sentido de que cualquiera de ellos, junto con los axiomas de Zermelo-Fraenkel, basta para probar los otros. Aparece en las demostraciones de varios teoremas importantes, tales como el teorema de Hahn-Banach en análisis funcional, el teorema de que todo espacio vectorial tiene una base, el teorema de Tychonoff en topología, y los teoremas en álgebra abstracta que afirman que todo anillo con elemento unitario tiene un ideal maximal y que todo cuerpo tiene clausura algebraica.