1: \begin{abstract}

2: \cclones{} are polymorphism sets of so\dash{}called clausal relations, a

3: special type of relations on a finite domain, which first appeared in

4: connection with constraint satisfaction problems in~\cite{%

5: CreignouHermannKrokhinSalzerComplexityOfClausalConstraintsOverChains}.

6: We completely describe the relationship \wrt\ set inclusion between

7: maximal \cclones{} and maximal clones. As a main result we obtain that for

8: every maximal \cclone{} there exists exactly one maximal clone in which it

9: is contained. A precise description of this unique maximal clone, as well

10: as a corresponding completeness criterion for \cclones{} is given.

11: \bgroup

12: \let\thefootnote\relax%

13: \footnote{%

14: \noindent\emph{AMS Subject Classification} (2010): 

15:   % primary:

16:   08A40  % General algebraic systems, Algebraic structures, 

17:          % Operations, polynomials, primal algebras

18:   % secondary:

19:  (08A02, % General algebraic systems, Algebraic structures,

20:          % Relational systems, laws of composition

21:   08A99% % General algebraic systems, Algebraic structures,

22:          % None of the above, but in this section

23:   ).\par%

24: \noindent\emph{Key words and phrases:} \PublicationKeywords}%

25: \setcounter{footnote}{0}%

26: \egroup

27: \end{abstract}

28: