Mapping Preserves Non-Empty Infima implies Mapping is Continuous in Lower Topological Lattice

Theorem
Let $T = \left({S, \preceq, \tau}\right)$ and $Q = \left({X, \preceq', \tau'}\right)$ be complete topological lattices with lower topologies.

Let $f: S \to X$ be a mapping such that
 * for all non-empty subsets $Y$ of $S$: $f$ preserves the infimum of $Y$.

Then $f$ is continuous mapping.

Proof
Define $B = \left\{ {\complement_X\left({x^{\succeq'}}\right): x \in X}\right\}$

We will prove that
 * $\forall A \in B: f^{-1}\left[{\complement_X\left({A}\right)}\right]$ is closed.

Let $A \in B$.

By definition of $B$:
 * $\exists x \in X: A = \complement_X\left({x^{\succeq'} }\right)$

By Relative Complement of Relative Complement:
 * $\complement_X\left({A}\right) = x^{\succeq'}$

By Infimum of Upper Closure of Element:
 * $\inf \left({\complement_X\left({A}\right)}\right) = x$

Suppose that the case: $f^{-1}\left[{\complement_X\left({A}\right)}\right] = \varnothing$ holds.

Thus by Empty Set is Closed in Topological Space:
 * $f^{-1}\left[{\complement_X\left({A}\right)}\right]$ is closed.

Suppose that the case: $f^{-1}\left[{\complement_X\left({A}\right)}\right] \ne \varnothing$ holds.