Lawson topology とは

数学と理論計算機科学では、LawsonトポロジはJ.D. Lawsonにちなんで命名され、ドメイン理論の研究で使用される部分集合集合のトポロジである。 poset P上の下位トポロジは、P上の主要なフィルタのすべての補集合からなるサブベースによって生成されます。Pに関するローソントポロジは、下位トポロジとPのスコットトポロジの最小の一般的な改良です。