# Definition:Compact Subset of Lattice

Let $L = \left({S, \vee, \preceq}\right)$ be a bounded below join semilattice.
Compact subset of $S$, denoted $K\left({L}\right)$, equals to the set of all compact elements of $S$.