Theorem. Generalized fixed point [math-QQ3Y]

If $D$ is a pointed cpo and $f : D \to D$ is monotone, then $f$ has a least fixed point in $D$.