Quotients and subalgebras of sup-algebras; pp. 311–322
X Zhang, Valdis Laan · Proceedings of the Estonian Academy of Sciences · 2015
An ordered algebra is called a sup-algebra if its underlying poset is a complete lattice and its operations are compatible with joins in each variable. In this article we study quotients and subalgebras of sup-algebras. We show that the congruence lattice of a sup-algebra is isomorphic to the lattice of its nuclei and dually isomorphic to the lattice of its meet-closed subalgebras. We also prove that the lattice of subalgebras of a sup-algebra is isomorphic to the lattice of its conuclei.