Given an information system, A = ( T , C o n , ⊢ ) {\displaystyle A=(T,Con,\vdash )} , we can build a Scott domain as follows.
给定一个信息系统 A = ( T , C o n , ⊢ ) {\displaystyle A=(T,Con,\vdash )} ，我们可以建造斯科特域如下。