Kleene fixed-point theorem: Difference between revisions

Revision as of 21:53, 20 February 2005

Revision as of 19:24, 17 April 2005

Line 1:

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

:''f'' <math>F: ''L'' &rarr;\to ''L''</math>,

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

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