\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}The Lattice of Sets}{1}}
\@writefile{lot}{\contentsline {table}{\numberline {1}{\ignorespaces Modelling Logic Programs as Set Operators }}{2}}
\newlabel{model}{{1}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Operators and the Knaster-Tarski Theorem}{2}}