域理論

域理論  是研究通常叫做 「 域 」 的特定種類偏序集合的數學分支 。 因此域理論可以被看作是序理論的分支 。 這個領域主要應用於計算機科學中 ， 特別是針對函數式編程語言 ， 用它來指定指稱語義 。 域理論以非常一般化的方式形式化了逼近和收斂的直覺概念 ， 並與拓撲學有密切聯繫 。 在計算機科學中指稱語義的一個可作爲替代的方式是度量空間 。