Kleene fixed-point theorem

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

${\displaystyle F:L\to L}$,

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

${\displaystyle \cup _{n\in \mathbb {N} }F^{n}(\bot )}$.