Definition:Lower Section/Definition 2

Definition
$L$ is a lower set in $S$ :
 * $L^\preceq \subseteq L$

where $L^\preceq$ is the lower closure of $L$.