Definition:Upper Section

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

Let $U \subseteq S$.

Also see

 * Equivalence of Definitions of Upper Section


 * Definition:Lower Section
 * Definition:Upper Closure