„Zorn-lemma” változatai közötti eltérés
| [nem ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
részbenrendezett halmazban [rendezett halmazban] |
|||
1. sor:
A '''Zorn-lemma''', vagy más néven '''Kuratowski–Zorn-lemma''', a [[halmazelmélet]] egyik legfontosabb, (rendezett halmaz tekintetében fennálló) maximális elem létezését állító tétele. A Zorn-lemma szerint:
:''Ha egy nemüres [[
A lemma állítása nem tűnik „nyilvánvaló” állításnak, ellentétben a [[kiválasztási axióma]] által megfogalmazott állítással, amivel azonban ''ekvivalens''.
| |||