Definition:Lower Section

Definition
Let $\struct {S, \preceq}$ be an ordered set.

Let $L \subseteq S$.

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

That is, $L$ is a lower set it contains its own lower closure.