In this paper a restricted version of the Galois connection between polymorphisms and invariants, called Pol − C Inv, is studied, where the invariant relations are restricted to so-called clausal relations. The lattice of all clones arising from this Galois connection, so-called C -clones, is investigated up to equality of their unary parts, denominated C -monoids. All atoms and co-atoms in the lattice of all C -monoids are characterized.
展开▼
