Definition:Lower Section/Definition 3

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

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