10
Fixpoints
•
Define:
X
0
=
;
X
i+1
= F(X
i
)
X
1
=
[
i
¸
0
X
i
•
•
Is X
1
the least fixpoint of F ?