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

,

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

.