Definition:Upper Set/Definition 3

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\left({S, \preceq}\right)$ be an ordered set.

Let $U \subseteq S$.


$U$ is an upper set in $S$ if and only if:

$U^\succeq = U$

where $U^\succeq$ is the upper closure of $U$.


Also see