\begin{definition}[Definition:Dense (Lattice Theory)/Element]
Let $L = \struct {S, \wedge, \preceq}$ be a bounded below meet semilattice.
Let $x \in S$.
Then $x$ is '''dense''' {{iff}}
:$\forall y \in S: y \ne \bot \implies x \wedge y \ne \bot$
where $\bot$ denotes the smallest element in $L$.
\end{definition}