Isotone analogs of results by Mal'tsev and Rosenberg (Q1770342)

The authors prove an analog of a lemma by Mal'tsev and deduce the following analog of a result of Rosenberg: Let \(Q\) is a finite poset with \(n\) elements, \(k\) denotes the \(k\)-element chain and \(h\) is an integer such that \({2 \leq h < n \leq k}\). Consider the set of all order-preserving maps from \(Q\) to \(\underline{k}\) whose image contains at most \(h\) elements, viewed as an \(n\)-ary relation \(\mu_{Q, h}\) on \(\underline{k}\). Then an \(l\)-ary order-preserving operation \(f\) on \(\underline{k}\) preserves this relation if and only if it is either (i) essentially unary or (ii) the cardinality of \(f(e(Q))\) is at most \(h\) for every isotone map \(e: Q \rightarrow \underline{k}^l\).