计算域有下列性质:由系统 S 指示的数学指称通过构造从叫做 ⊥ 的空指称递增更好的逼近来找到 ，使用某个逼近定义函数 progression(进步)如下这样构造 S 的指称(意义)的 [Hewitt 2006b]:期望 progression 是单调的，就是说，如果 x≤y 则 progression(x)≤progression(y)。更一般的说，我们期望最后陈述的 progression 的性质叫做 ω-连续性。指称语义的中心问题是刻画什么时候可能依据 Denote 的等式建立指称(意义)