Definition:Lower Section/Definition 1

Definition
$L$ is a lower set in $S$ :
 * $\forall l \in L, s \in S: s \preceq l \implies s \in L$