，但是由于它的递归定义，如何以复合方式理解它是不明白的。在递归的语义中，域典型的是偏序，它可以被理解为已定义性(definedness)的次序。例如，在自然数上的偏函数的集合可以给出为如下次序:通常假定这个域的某个性质，比如链的极限的存在性(参见cpo)和一个底元素。偏函数的偏序有一个底元素，完全未定义函数。它还有链的最小上界。各种额外性质经常是合理的和有用的:在域理论条目中有更详尽细节。我们特别感兴趣于在域之间的“连续”函数。它们是保持次序结构和保持最小上界的函数。在这种设置下，类型被指示