Galois theory for semiclones (Q334979)

By equipping the set of all finitary functions on a fixed set \(A\) with a finite number of operations one obtains the full function algebra. It is known that the clones on \(A\) are exactly the carrier sets of subalgebras of this structure. This relationship is a special case of the one between the full iterative function algebra known as iterative Post algebra and its subuniverses (called Post algebras) which are referred to as closed classes. In analogy to the Pol-Inv Galois connection, there is a Galois correspondence Polp-Invp based on the notion of functions preserving pairs \((\rho,\rho')\) of relations \(\rho'\subset\rho\) . For finite carrier sets, the Galois closed sets have been characterized to be the subuniverses of the full iterative Post algebra and the subuniverses of a suitably defined relation pair algebra. In this paper, the author extend this study for the general case where the carrier set can be also infinite.