Definition:Lower Section

Definition
Let $\left({S, \preceq}\right)$ be an ordered set.

Let $L \subseteq S$.

Then $L$ is a lower set in $S$ iff
 * For all $l \in L$ and $s \in S$: if $s \preceq L$ then $s \in L$.

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