Zorn, lèmma di-

detto anche principio dell'insieme massimale, è un'affermazione equivalente al postulato della scelta, o di Zermelo: un insieme ordinato, tale che ogni suo sottoinsieme linearmente ordinato possieda un confine superiore, ha un elemento massimale.