Unique inclusions of maximal C-clones in maximal clones (Q1652863)

C-clones are clones on a finite set \(D\) that are determined by sets of clausal relations. It is known that each clone different from the set of all finitary operations on \(D\) is contained in some maximal clone (i.e., a coatom of the lattice of all clones). The paper deals with maximal C-clones. The main result is that every maximal C-clone is contained in a unique maximal clone. Theorem~8.2 presents a detailed description of the corresponding clone. The clone is a polymorphism set of a nontrivial relation which is 1) a unary central relation, 2) a binary central relation, 3) an equivalence relation (necessary and sufficient conditions for the cases 1--3 are given). Furthermore , a completeness criterion for C-clones is found.