22
Examples
•
What does this say ?
8
u.[
lfp
S,x
f
(S, x)](u),
where:
f
(S, x) =
8
y.(E(y,x)
!
S(y))