\begin{definition}[Definition:Lower Set/Definition 1]
{{:Definition:Lower Set}}
$L$ is a '''lower set''' in $S$ {{iff}}:
:$\forall l \in L, s \in S: s \preceq l \implies s \in L$
Category:Definitions/Order Theory
Category:Definitions/Lower Sets
\end{definition}