Admissible subsets and completions of ordered algebras

Abstract

We consider ordered universal algebras and give a construction of a join-completion for them using so-called \(\mathscr {D}\)-ideals. We show that this construction has a universal property that induces a reflector from a certain category of ordered algebras to the category of sup-algebras. Our results generalize several earlier known results about different ordered structures.