查看“︁斯科特信息系统”︁的源代码

==信息系统和 Scott 领域==

给定一个信息系统 <math>A = (T, Con, \vdash) </math>，我们可以建造[[斯科特域]]如下。

* 定义: <math>x \subseteq T</math> 是一个点当且仅当
** 如果 <math>X \subseteq_f x </math> 则 <math> X \in Con</math>
** 如果 <math>X \vdash a </math> 并且 <math>  X \subseteq_f x </math> 则 <math> a \in x</math>

设 <math>\mathcal{D}(A)</math> 指示 A 的点的集合并按子集排序。在 T 是可数的时候，<math>\mathcal{D}(A)</math> 将是可数 Scott 域。一般的说，对于任何 Scott 域 D 和信息系统 A
* <math>\mathcal{D}(\mathcal{I}(D)) \cong D</math>
* <math>\mathcal{I}(\mathcal{D}(A)) \cong A</math>
这里的第二个全等给出自[[逼近映射]]。

==参见==

* [[斯科特域]]
* [[域理论]]

[[Category:计算模型]]
[[Category:域理论]]