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.