12
Inflationary Fixpoint
•
F is
inflationary
if Y
µ
F(Y) for all Y
•
•
Fact
.
If F is inflationary, then X
1
is a
fixpoint
•
•
[is X
1
the least fixpoint ?]
•
Denote
ifp
(F) = X
1