Kuratowski-Zorn lemma

If each partially-ordered-set-chain in partially-ordered-set has a majorer, then a maximal-element exists in partially-ordered-set

Equivalent to

• axiom-of-choise
• zermelo-theorem