このfが連続ならば、この不動点は⊥の反復列(⊥,f(⊥),f(f(⊥)),…fn(⊥),…)の上限に等しい（クリーネの不動点定理も参照）。
如果f是连续的，则这个不动点等于⊥的迭代(⊥,f(⊥),f(f(⊥)),…fn(⊥),…)的上确界。