理论中研究了这些结构。斯科特域密切关系于代数格，不同之处只是缺乏最大元。
形式定义.形式的说，偏序集合 ("D", ≤) 叫做斯科特域，如果下列成立:
性质.因为空集当然有上界，我们从有界完全性得出最小元(空界的上确界)的存在性。还要注意尽管术语 "斯科特域"广泛的用于这个定义，术语"域"没有一般性意义: 它可以用于称唿在域理论中的很多结构并通常在使用前作出解释。但是，"域"确实是 斯科特自己最初用于这些结构的。此外，在某些出版物中 斯科特域常以其他名字