Zorn's Lemma/Warning

Prerequisites
The statement of Zorn's Lemma supposes the existence of an upper bound in $X$ 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 X: a \le x \implies a = x$