Revision as of 10:55, 27 January 2006 edit Charles Matthews (talk \| contribs) Autopatrolled, Administrators 367,990 edits m +cat ← Previous edit		Revision as of 12:23, 4 March 2006 edit undo Igrant (talk \| contribs) 30 edits minor reqording to make scending Kleene chain explicit as per discussion Jan 2006 Next edit →
Line 3: :<math>f: L \to L,</math> the [[least fixed point]] (lfp) of ''f'' is the [[least upper bound]] of the ascending Kleene chain of ''f'', that is~~, the ascending chain~~ :<math>\textrm{bot}_L \le f(\textrm{bot}_L) \le f(f(\textrm{bot}_L)) \le ...</math>

Kleene fixed-point theorem: Difference between revisions