Zorn's Lemma/Warning

Warning
The statement of Zorn's Lemma supposes the existence of an upper bound in $S$ for any (non-empty) chain $A$.

It does not guarantee the existence of an upper bound for $A$ in $A$ itself.

The conclusion is that:
 * $\forall a \in S: a \le x \implies a = x$