領域理論

領域理論（りょういきりろん、英: domain theory）は、領域 (domain) と呼ばれる特別な種類の半順序集合を研究する数学の分野であり、順序理論の一分野である。計算機科学の表示的意味論（英: denotational semantics）を構築するために用いられる。

この神経はここで途切れています。