Definition:Closed under Directed Suprema

From ProofWiki
Jump to navigation Jump to search

Definition

Let $L = \left({S, \preceq}\right)$ be an up-complete ordered set.

Let $X$ be a subset of $S$.


Then $X$ is closed under directed suprema if and only if

for all directed subsets $D$ of $S$: $D \subseteq X \implies \sup D \in X$


Sources