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