如果 progression 是 ω-连续的，则 Denote 存在。从 progression 的 ω-连续性得出上述等式引出了术语 Denote 是 progression 的不动点。进一步的，这个不动点是 progression 的最小不动点。在下节中给出函数式程序的指称语义作为不动点语义的例子。
阶乘函数的例子.考虑如下定义在所有数上的 factorial 函数:factorial 的 graph 是定义了 factorial 的所有有序对的集合，有序对的