Coproduct of Ordered Sets

Theorem
Let $\mathbf{Pos}$ be the category of posets.

Let $\left({P, \preceq_1}\right)$ and $\left({Q, \preceq_2}\right)$ be posets.

Let $P \sqcup Q$ be the disjoint union of $P$ and $Q$.

Let $\preceq$ be the ordering on $P \sqcup Q$ defined by:


 * $\left({x, \delta}\right) \preceq \left({y, \epsilon}\right)$ iff $\delta = \epsilon$ and $x \preceq_\delta y$

Then $\left({P \sqcup Q, \preceq}\right)$ is the coproduct of $P$ and $Q$ in $\mathbf{Pos}$.