Function classes and relational constraints stable under compositions with clones. (English) Zbl 1203.06005
Summary: The general Galois theory for functions and relational constraints over arbitrary sets described in the authors’ previous paper is refined by imposing algebraic conditions on relations.
MSC:
06A15 | Galois correspondences, closure operators (in relation to ordered sets) |
06E30 | Boolean functions |
08A02 | Relational systems, laws of composition |
08A40 | Operations and polynomials in algebraic structures, primal algebras |