Continuous Lattice is Meet-Continuous

Theorem
Let $L = \left({S, \vee, \wedge, \preceq}\right)$ be a bounded below continuous lattice.

Then $L$ is meet-continuous.

Proof
Let $x \in S$, $D$ be a directed subset of $S$ such that
 * $x \preceq \sup D$

By Way Below Closure is Directed in Bounded Below Join Semilattice:
 * $x^\ll$ is directed.

By definition of continuous:
 * $L$ is up-complete and satisfies axiom of approximation.

By definition of up-complete:
 * $x^\ll$ admits a supremum.

By Lower Closure of Element is Ideal and definition of ideal:
 * $\left({\sup \left\{ {x \wedge d: d \in D}\right\} }\right)^\preceq$ is directed.

By definition of up-complete:
 * $\left({\sup \left\{ {x \wedge d: d \in D}\right\} }\right)^\preceq$ admits a supremum.

We will prove that
 * $x^\ll \subseteq \left({\sup \left\{ {x \wedge d: d \in D}\right\} }\right)^\preceq$

Let $a \in x^\ll$

By definition of way below closure:
 * $a \ll x$

By Way Below implies Preceding:
 * $a \preceq x$

By definition of way below relation:
 * $\exists d \in D: a \preceq d$

By Meet is Idempotent and Meet Semilattice is Ordered Structure:
 * $a = a \wedge a \preceq x \wedge d \in \left\{ {x \wedge y: y \in D}\right\}$

By definition of supremum:
 * $\sup \left\{ {x \wedge y: y \in D}\right\}$ is upper bound for $\left\{ {x \wedge y: y \in D}\right\}$

By definition of upper bound:
 * $x \wedge d \preceq \sup \left\{ {x \wedge y: y \in D}\right\}$

By definition of transitivity
 * $a \preceq \sup \left\{ {x \wedge y: y \in D}\right\}$

Thus by definition of lower closure of element:
 * $a \in \left({\sup \left\{ {x \wedge d: d \in D}\right\} }\right)^\preceq$

By Supremum of Subset:
 * $\sup \left({x^\ll}\right) \preceq \sup \left({\left({\sup \left\{ {x \wedge d: d \in D}\right\} }\right)^\preceq}\right)$

By axiom of approximation and Supremum of Lower Closure of Element:
 * $x \preceq \sup \left\{ {x \wedge d: d \in D}\right\}$

By definition:
 * $x$ is upper bound for $\left\{ {x \wedge d: d \in D}\right\}$

By definition of supremum:
 * $\sup \left\{ {x \wedge d: d \in D}\right\} \preceq x$

Thus by definition of antisymmetry:
 * $x = \sup \left\{ {x \wedge d: d \in D}\right\}$

Thus by Meet-Continuous iff if Element Precedes Supremum of Directed Subset then Element equals Supremum of Meet of Element by Directed Subset:
 * $L$ is meet-continuous.