Lawson topology

In mathematics and theoretical computer science the Lawson topology, named after J. D. Lawson, is a topology on partially ordered sets used in the study of domain theory. The lower topology on a poset P is generated by the subbasis consisting of all complements of principal filters on P. The Lawson topology on P is the smallest common refinement of the lower topology and the Scott topology on P.

Properties

See also

References

External links




This article is issued from Wikipedia - version of the 4/20/2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.