Scott topology

Summary

The Scott topology on a partially ordered set has as open sets the up-closed sets that cannot be reached by a directed supremum from outside. It turns a directed-complete partial order into a topological space whose continuous maps are the Scott-continuous maps. Its specialization preorder is the original order, so the order can be recovered from the topology. It is the topology used in domain theory.