Definition:Compact Subset of Lattice

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

Compact subset of $S$, denoted $K\left({L}\right)$, equals to the set of all compact elements of $S$.