Subset of Linearly Ordered Space which is Order-Complete and Closed but not Compact

Theorem
Let $X = \hointr 0 1 \cup \openint 2 3 \cup \set 4$.

Let $\preceq$ be the ordering on $X$ induced by the usual ordering of the real numbers.

Let $\tau$ be the $\preceq$ order topology on $X$.

Let $Y = \hointr 0 1 \cup \set 4$.

Let $\tau'$ be the $\tau$-relative subspace topology on $Y$.

Then:
 * $\struct {Y, \preceq}$ is a complete lattice
 * $Y$ is closed in $X$

but:
 * $\struct {Y, \tau'}$ is not compact.

Proof
First it is demonstrated that $\struct {Y, \preceq}$ is a complete lattice.

Let $\phi: Y \to \closedint 0 1$ be defined as:
 * $\map \phi y = \begin{cases}

y & : y \in \hointr 0 1 \\ 1 & : y = 4 \end{cases}$

Then $\phi$ is a order isomorphism.

We have that $\closedint 0 1$ is a complete lattice.

Next is is shown that $\struct {Y, \preceq}$ is closed in $X$.

Let $x \in X \setminus Y$.

Then:
 * $x \in \openint 2 3$

Thus:
 * $x \in \openint {\dfrac {x + 2} 2} {\dfrac {x + 3} 2} \in \tau'$

Since the complement of $Y$ is open, $Y$ is closed.

Finally it is shown that $\struct {Y, \tau'}$ is not compact.

Let:
 * $\AA = \set {x^\preceq: x \in \hointr 0 1} \cup \set {\paren {\dfrac 5 2}^\succeq}$

where:
 * $x^\preceq$ denotes the lower closure of $x$
 * $x^\succeq$ denotes the upper closure of $x$

Then $\AA$ is an open cover of $Y$ with no finite subcover.