Zorn's lemma

Last updated January 27, 2022

There are several formulations:

1. Suppose a partially ordered set $P$ has the property that every chain in $P$ has an upper bound in $P$. Then the set $P$ contains at least one maximal element.