from Wiktionary, Creative Commons Attribution/Share-Alike License
- proper n. 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.
After Max August Zorn 1906-1993, German-born American mathematician. See German Zorn ("anger"). (Wiktionary)