Revision as of 20:17, 21 June 2008 edit Tea2min (talk \| contribs) Extended confirmed users, Pending changes reviewers 21,978 edits Reworded to use the terminology that I think is used by most of the other order theory related articles on wikipedia. ← Previous edit		Revision as of 03:07, 13 July 2008 edit undo 128.12.180.74 (talk) No edit summary Next edit →
Line 1: In the [[mathematics\|mathematical]] areas of [[order theory\|order]] and [[lattice theory]], the '''Kleene ~~fixpoint~~fixed-point theorem''', named after [[United States\|American]] [[mathematician]] [[Stephen Cole Kleene]], states the following: :''Let L be a [[complete lattice]], and let f : L → L be a [[Scott continuity\|continuous]] (and therefore [[monotone function\|monotone]]) [[function (mathematics)\|function]]. Then the [[least fixed point]] of f is the [[supremum]] of the ascending Kleene chain of f.

Kleene fixed-point theorem: Difference between revisions