Computational Logic  

}
(Note that forms a complete lattice under  important for fixpoint operations to be introduced later).
We abbreviate as
}
all subsets of
}
}
(i.e.,
).
(i.e.,
).
Constructing the least fixpoint of the operator:
=where we define to be nested times and then applied to .=
=
=
...
=