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$.

Almost associative operations generating a minimal clone

Minimal clones generated by majority operations

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

Associative spectra of binary operations

Exploring new topologies for the theory of clones

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

Clonoids of Boolean functions with a monotone or discriminator source clone

Multisorted Boolean Clones Determined by Binary Relations up to Minion Homomorphisms

Clones from comonoids

Finitely generated maximal partial clones and their intersections

Near-unanimity-closed minions of Boolean functions

On the number of clonoids

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

Associative idempotent nondecreasing functions are reducible

Universal Clone Algebra

On $k$-ary parts of maximal clones

Minimal Axiomatization of Boolean Algebras

The associative-commutative spectrum of a binary operation

The characterizations of monotone functions which generate associative functions

On k-ary parts of maximal clones