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