Definition:Lower Section/Definition 3

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

Let $L \subseteq S$.

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

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