Communications in Algebra, cilt.50, sa.5, ss.1842-1857, 2022 (SCI-Expanded)
© 2021 Taylor & Francis Group, LLC.Fraser and Horn, and independently Hu, studied varieties (Formula presented.) of algebras satisfying the property that for every (Formula presented.) every congruence (Formula presented.) is a product congruence, i.e., (Formula presented.) for some (Formula presented.) i = 1, 2. Varieties of rings with identity and congruence distributive varieties of algebras satisfy this property. It is easy to show that an algebra (Formula presented.) has the Fraser–Horn–Hu property if and only if the map (Formula presented.) is a lattice isomorphism from (Formula presented.) to (Formula presented.) The property was later referred to in the literature as the Fraser–Horn–Hu property. It turns out that the Fraser–Horn–Hu property is a Mal’cev condition for varieties. In this paper, we generalize this property to varieties of ordered algebras. The classic result of Fraser, Horn and Hu follows as a special case.