Lema de Zorn
Origem: Wikipédia, a enciclopédia livre.
O Lema de Zorn é um axioma da Teoria dos Conjuntos, normalmente apresentado como:
Se, em um conjunto não-vazio e parcialmente ordenado, todo subconjunto totalmente ordenado tem uma quota superior, então o conjunto tem um elemento maximal.
O Lema de Zorn é equivalente ao axioma da escolha.