Definition:Scott Sigma

From ProofWiki
Jump to navigation Jump to search

Definition

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

Scott sigma $\sigma\left({L}\right)$ is a set of subsets of $S$ and equals to

$\left\{ {U \subseteq S: U}\right.$ is upper and has property (S)$\left.\right\}$


Source of Name

This entry was named for Dana Stewart Scott.


Sources