Definition:Compact Subset of Lattice

From ProofWiki
Jump to navigation Jump to search

Definition

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$.

Sources