# Why is partial ordering by continuation (vs just inclusion) required for Zorn's Lemma $\implies$ Well Ordering Theorem?

In the proof that Zorn's Lemma implies the Well-Ordering Theorem, it is required that the set $\mathcal{W}$ of all well-ordered subsets of some set $\mathcal{A}$ be partially ordered by continuation. (Then by showing that every chain in $\mathcal{W}$ has an upper bound, it follows from Zorn's Lemma that there exists a maximal element in $\mathcal{W}$, and it is shown that that element is a well-ordering of $\mathcal{A}$).

My question is, why is it necessary for $\mathcal{W}$ to be partially ordered by continuation, and not just by inclusion? Meaning $\left(C,\leq _C\right)\leq _{\mathcal{W}} \left(D,\leq _D\right) \iff C\subseteq D\;$ and $\leq _C\; \subseteq\; \leq_D$ (without the additional requirement that $C$ be an initial segment of $D$).

I don't see why Zorn's Lemma can't apply in a similar way here too, and if it does why it doesn't follow that the maximal element in $\mathcal{W}$ is a well-ordering of $A$.

Thanks

Call your poset $\mathcal{U}$ (since it's not quite $\mathcal{W}$). Zorn's lemma will definitely apply to $\mathcal{U}$ if we can show that chains have upper bounds. Clearly one natural upper bound of a chain $C$ - if such a thing exists - should be the union of its elements, so this amounts to:
It turns out that the answer is no (and so Zorn's lemma doesn't apply to your $\mathcal{U}$). The simplest example of this is probably the integers: although obviously $(\mathbb{Z}, <)$ isn't a well-ordering, each of the intervals $[-n, n]\cap\mathbb{Z}$ (for $n\in\mathbb{N}$) is well-ordered by $<$, and $\mathbb{Z}$ is the union of these well-orderings.
If you just order by inclusion, it is no longer true that every chain has an upper bound. For instance, suppose $\mathcal{A}=\mathbb{Z}$. Then the sets $\{0\},\{-1,0\},\{-2,-1,0\},\dots$ are all well-ordered using the usual order and form a chain under inclusion, but their union is not well-ordered and so they have no upper bound in $\mathcal{W}$.