Union of Initial Segments is Initial Segment or All of Woset/Proof 1

Proof
Suppose the hypotheses of the theorem hold.

If $J = X$ then the theorem is satisfied.

Assume $J \ne X$.

Then $X \setminus J$ is non-empty.

By Subset of Well-Ordered Set is Well-Ordered, $X \setminus J$ is itself well-ordered.

Thus $X \setminus J$ has a smallest element; call it $b$.

We claim that $b \preccurlyeq y$ for every $y \in J$.

there exists a $y \in J$ with $b \preccurlyeq y$.

Then there exists some $x_0 \in A$ with $y$ in the initial segment $S_{x_0}$.

Thus $b \in S_{x_0}$ and so $b \in J$.

This contradicts the fact that $b \in X \setminus J$.

Thus there cannot exist a $y \in J$ with $b \preccurlyeq y$.

Any element strictly preceding $b$ is in $J$, by choice of $b$.

Also, $b \notin J$, because $b \in X \setminus J$.

From above, any element strictly succeeding $b$ is not in $J$.

Thus $J = S_b$ by definition of initial segment.