これは、最小元0上でのfの有限回の繰り返しすべての上限∨n∈Nfn(0)として与えられる。
如果f是连续的，则它恰好有一个最小不动点，给出为f在最小元素0上的所有有限迭代的最小上界:Vn∈Nfn(0)。