24
Example 3 (cont’d)
[
lfp
S,x
f
(S,x)](a)
where:
f
(S,x) =
8
y(E(x,y)
!
9
z.(E(y,z)
Æ
S(z))