If $C \subseteq P$ is a D848: Chain in $X$, then result R4142: Union is an upper bound to each set in the union shows that the D77: Set union $\cup C$ is an upper bound for $C$ in $P$. Hence, the claim is a consequence of R447: Zorn's lemma. $\square$