15
Fixpoints
•
The distinction is necessary only when F is
not monotone.
Otherwise:
•
•
Fact If F is monotone, then:
lfp
(F) =
ifp
(F) =
pfp
(F)