  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$ and taking values in a possibly different set $B$, where
any or both of $A$ and $B$ may be finite or infinite.

Logic;Combinatorics