Kleene fixed-point theorem: Difference between revisions

Content deleted Content added
m tidy up
mNo edit summary
Line 5:
then the least-fixed point (lfp) of ''f'' is
 
:<math>\cup_{n\in\mathbb{ZN}}F^n(\bot)</math>.
 
[[Category:Order theory]]