Lema lui Zorn
De la Wikipedia, enciclopedia liberă
Lema lui Zorn -- (cunoscută şi ca lema Kuratowski-Zorn):
Dacă M este o mulţime nevidă, parţial ordonată, în care fiecare şir este superior limitat, atunci S admite un element maximal. Lema lui Zorn este echivalentă cu axioma alegerii.