Clausal relations and {C}-clones
Edith Mireya Vargas · Discussiones Mathematicae - General Algebra and Applications · 2010
We introduce a special set of relations called clausal relations. We study a Galois connection Pol -C Inv between the set of all finitary operations on a finite set D and the set of clausal relations, which is a restricted version of the Galois connection Pol -Inv. We define Cclones as the Galois closed sets of operations with respect to Pol -C Inv and describe the lattice of all C -clones for the Boolean case D = {0, 1}. Finally we prove certain results about C -clones over a larger set.