13
Inflationary Fixpoint
•
Let F be arbitrary.
•
•
Define G(Y) = Y
[
F(Y).
•
G is inflationary [why ?], hence X
1
is its
inflationary fixpoint
•
•
Define
ifp
(F) = X
1