\begin{definition}[Definition:Lower Set/Definition 2]
{{:Definition:Lower Set}}
$L$ is a '''lower set''' in $S$ {{iff}}:
:$L^\preceq \subseteq L$
where $L^\preceq$ is the lower closure of $L$.
Category:Definitions/Order Theory
Category:Definitions/Lower Sets
\end{definition}