Abstract:We consider $S$-operations $f \colon A^{n} \to A$ in which each argument is assigned a signum $s \in S$ representing a "property" such as being order-preserving or order-reversing with respect to a fixed partial order on $A$. The set $S$ of such properties is assumed to have a monoid structure reflecting the behaviour of these properties under the composition of $S$-operations (e.g., order-reversing composed with order-reversing is order-preserving). The collection of all $S$-operations with prescribed properties for their signed arguments is not a clone (since it is not closed under arbitrary identification of arguments), but it is a preclone with special properties, which leads to the notion of $S$-preclone. We introduce $S$-relations $\varrho = (\varrho_{s})_{s \in S}$, $S$-relational clones, and a preservation property ($f \mathrel{\stackrel{S}{\triangleright}} \varrho$), and we consider the induced Galois connection ${}^S\mathrm{Pol}$-${}^S\mathrm{Inv}$. The $S$-preclones and $S$-relational clones turn out to be exactly the closed sets of this Galois connection. We also establish some basic facts about the structure of the lattice of all $S$-preclones on $A$.

Clonoids of Boolean functions with a monotone or discriminator source clone

Clonoids of Boolean functions with essentially unary, linear, semilattice, or 0- or 1-separating source and target clones

Clones of Borel Boolean Functions

Multisorted Boolean Clones Determined by Binary Relations up to Minion Homomorphisms

On the number of clonoids

Near-unanimity-closed minions of Boolean functions

Clonoids between modules

Submaximal clones over a three-element set up to minor-equivalence

Finitely generated maximal partial clones and their intersections

Almost associative operations generating a minimal clone

On $k$-ary parts of maximal clones

Representing some families of monotone maps by principal lattice congruences

Clones from comonoids

$S$-preclones and the Galois connection ${}^S\mathrm{Pol}$-${}^S\mathrm{Inv}$, Part I

Permutation clones that preserve relations

Infinitary version of Pol-Inv Galois connection

Minor-closed classes of binary functions

On k-ary parts of maximal clones

Monotone Boolean functions capture their primes

Minimal clones generated by majority operations

Clones, closed categories, and combinatory logic