It is usual to assume some properties of the domain, such as the existence of limits of chains (see cpo) and a bottom element.
通常假定这个域的某个性质，比如链的极限的存在性(参见cpo)和一个底元素。