信息系统和 Scott 领域.给定一个信息系统 formula_1，我们可以建造斯科特域如下。设 formula_8 指示 A 的点的集合并按子集排序。在 T 是可数的时候，formula_8 将是可数 Scott 域。一般的说，对于任何 Scott 域 D 和信息系统 A这里的第二个全等给出自逼近映射。