Lattice of Power Set is Arithmetic

Theorem
Let $X$ be a set.

Let $P = \left({\mathcal P\left({X}\right), \cup, \cap, \subseteq}\right)$ be a lattice of power set.

Then $P$ is arithmetic.

Proof
Define $C = \left({K\left({P}\right), \preceq}\right)$ as an ordered subset of $P$

where $K\left({P}\right)$ denotes the compact subset of $P$.

Thus by Lattice of Power Set is Algebraic:
 * $P$ is algebraic.

It remains to prove that
 * $K\left({P}\right)$ is meet closed.

Let $x, y \in K\left({P}\right)$.