Algebraic functions in varieties generated by lattice-primal algebras (Q1084425)

A finite algebra \({\mathfrak A}=<A;F>\) is called lattice-primal provided there exists a lattice-order on \(A\) such that all operations \(f\in F\) are monotonic with respect to this order and every finitary monotonic function can be expressed by a term function of \({\mathfrak A}\). Let \({\mathfrak B}=<B;F,\leq\,>\) be an ordered algebra. A quasiorder (\(=\) reflexive and transitive binary relation) \(\Theta\) over \(B\) is called admissible if it is preserved by the operations \(f\in F\) and it extends \(\leq\), i.e. \(\leq\, \subseteq \Theta\) holds. Theorem. Let the variety \({\mathcal V}\) be generated by the lattice-primal algebra \({\mathfrak A}\), and let \({\mathfrak B}\in {\mathcal V}\). Then a finitary function \(\phi\) on \(B\) is an algebraic function over \({\mathfrak B}\) iff \(\phi\) preserves all admissible quasiorders of \(B\).