Mapping Preserves Directed Suprema implies Mapping is Continuous

Theorem
Let $\left({S, \preceq_1, \tau_1}\right)$ and $\left({T, \preceq_2, \tau_2}\right)$ be up-complete ordered sets with Scott topologies.

Let $f: S \to T$ be a directed suprema preserving mapping.

Then $f$ is continuous.

Proof
Let $P$ be a closed subset of $T$.

By Closed Set iff Lower and Closed under Directed Suprema in Scott Topological Ordered Set:
 * $P$ is lower and closed under directed suprema.

We will prove that
 * for all directed subset $D$ of $S$: $D \subseteq f^{-1}\left[{P}\right] \implies \sup D \in f^{-1}\left[{P}\right]$

Let $D$ be a directed subset of $S$ such that
 * $D \subseteq f^{-1}\left[{P}\right]$

By definition of mapping preserves directed suprema:
 * $f$ preserves the supremum of $D$.

By definition of up-complete:
 * $D$ admits a supremum.

By definition of mapping preserves the supremum:
 * $ \sup \left({f\left[{D}\right]}\right) = f \left({\sup D}\right)$

By Directed Suprema Preserving Mapping is Increasing:
 * $f$ is increasing.

By Image of Directed Subset under Increasing Mapping is Directed:
 * $f\left[{D}\right]$ is directed.

By Preimage is Subset of Set implies Image of Set is Subset:
 * $f\left[{D}\right] \subseteq P$

By definition of closed under directed suprema:
 * $\sup \left({f\left[{D}\right]}\right) \in P$

Thus by definition of preimage of set:
 * $\sup D \in f^{-1}\left[{P}\right]$

By definition:
 * $f^{-1}\left[{P}\right]$ is closed under directed suprema.

By Preimage of Lower Set under Increasing Mapping is Lower:
 * $f^{-1}\left[{P}\right]$ is lower.

Thus by Closed Set iff Lower and Closed under Directed Suprema in Scott Topological Ordered Set:
 * $f^{-1}\left[{P}\right]$ is closed.