Kleene fixpoint theorem - Definition

In mathematics, the Kleene fixpoint theorem in order theory states that given any complete lattice L, and a monotone function

f : L → L,

then the least-fixed point (lfp) of f is

<math>\cup_{n\in\mathbb{Z}}F^n(\bot)<math>.