Definition:Lower Section

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

Let $L \subseteq S$.

Also see

 * Equivalence of Definitions of Lower Section


 * Definition:Lower Closure
 * Definition:Upper Section