Zorn's lemma

Etymology
After 1906-1993, German-born American mathematician. See German.

Proper noun

 * 1)  A proposition of set theory stating that every partially ordered set, in which every chain (i.e. totally ordered subset) has an upper bound, contains at least one maximal element.