On closed sets of relational constraints and classes of functions closed under variable substitutions

Miguel Couceiro, Stephan Foldes

Pippenger's Galois theory of finite functions and relational constraints is extended to the infinite case. The functions involved are functions of several variables on a set $A$ an…