Definition:Upper Section/Definition 3

Definition
Let $(S, \preceq)$ be an ordered set.

Let $U \subseteq S$.

Then $U$ is an upper set in $S$ iff:


 * ${\uparrow} U = U$

where ${\uparrow} U$ is the upper closure of $U$.