域理论 域理论英語Domain theory是研究通常叫做域的特定种类偏序集合的数学分支因此域理论可以被看作是序理论的分支这个领域主要应用于计算机科学中特别是针对函数式编程语言用它来指定指称语义域理论以非常一般化的方式形式化了逼近和收敛的直觉概念并与拓扑学有密切联系在计算机科学中指称语义的一个可作为替代的方式是度量空间