Lema de Zorn
De Wikipedia, a enciclopédia encyclopedia
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.
O nome faz referência ao matemático Max Zorn, mas sua primeira formulação se deve ao matemático polonês Kazimierz Kuratowski.