Order Topology is Normal

Theorem
Let $\left({S, \preceq}\right)$ be a toset.

Let $\vartheta$ be the order topology on $S$.

Then $\left({S, \vartheta}\right)$ is normal.