Mapping is Continuous implies Mapping Preserves Filtered Infima 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
 * $f$ is a continuous mapping.

Then $f$ preserves filtered infima.

Proof
Define $B := \left\{ {\complement_S\left({x^\succeq}\right): x \in S}\right\}$

By definition of lower topology:
 * $B$ is an analytic sub-basis.

Let $F$ be a filtered subset of $S$ such that
 * $F$ admits an infimum in $T$.

Thus by definition of complete lattice:
 * $f\left[{F}\right]$ admits an infimum in $Q$.

We will prove that
 * $\forall A \in B: \inf F \in A \implies F \cap A \ne \varnothing$

Then by If Infimum of Filtered Subset belongs to Element of Sub-Basis then Subset and Element Intersect implies Infimum of Subset belongs to Closure of Subset:
 * $\inf F \in F^-$

We will prove that
 * $f$ is increasing.

We will prove that
 * $f\left({\inf F}\right)$ is lower bound for $f\left[{F}\right]$

By definition of infimum:
 * $f\left({\inf F}\right) \preceq' \inf\left({f\left[{F}\right]}\right)$

We will prove that
 * $F \subseteq f^{-1}\left[{\left({\inf\left({f\left[{F}\right]}\right)}\right)^{\succeq'} }\right]$