On congruence distributivity of ordered algebras with constants
Krisztina Balog, Benedek Skublics · Discussiones Mathematicae - General Algebra and Applications · 2011
We define the order-congruence distributivity at 0 and order- congruence n-distributivity at 0 of ordered algebras with a nullary op- eration 0. These notions are generalizations of congruence distributiv- ity and congruence n-distributivity. We prove that a class of ordered algebras with a nullary operation 0 closed under taking subalgebras and direct products is order-congruence distributive at 0 iff it is order- congruence n-distributive at 0. We also characterize such classes by a Mal'tsev condition.