Definition:Lower Section/Definition 1

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

Let $L \subseteq S$.

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