(and therefore monotone) function. Then has a least fixed point, which is the supremum of the ascending Kleene chain of

The ascending Kleene chain of f is the chain

obtained by iterating f on the least element ?