Category:Scott Topology
Jump to navigation
Jump to search
This category contains results about Scott Topology.
Let $\struct {S, \preceq}$ be an up-complete ordered set.
Let $T = \struct {S, \preceq, \tau}$ be a relational structure with topology.
Then $T$ has the Scott topology if and only if:
- $\tau$ is the set of all upper and inaccessible by directed suprema subsets of $S$.
Pages in category "Scott Topology"
This category contains only the following page.