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

Peter Jipsen, Erkko Lehtonen, Reinhard Pöschel

We consider $S$-operations $f: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…