In mathematics and theoretical computer science the Lawson topology, named after Jimmie D. Lawson, is a topologyonpartially 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 filtersonP. The Lawson topology on P is the smallest common refinement of the lower topology and the Scott topology on P.
This topology-related article is a stub. You can help Wikipedia by expanding it. |