\begin{definition}[Definition:Meet Closed]
Let $L = \left({S, \wedge, \preceq}\right)$ be a meet semilattice.
Let $X$ be a subset of $S$.
Then $X$ is '''meet closed''' {{iff}}
:$\forall x, y \in X: x \wedge y \in X$
\end{definition}