Kleene fixed-point theorem: Difference between revisions

Revision as of 01:44, 20 June 2005

Revision as of 07:37, 23 July 2005

Line 1:

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

:<math>F: L \to L,</math>,

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

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

{{math-stub}}