Partial algebras, ordered algebras, partial operations, equationally defined domains, Semantics in the theory of computing, Galois connections, Theories (e.g., algebraic theories), structure, and semantics, Galois correspondences, closure operators (in relation to ordered sets), preorder, Partial orders, general, Ordered structures, category of posets, essentially algebraic category, Equational categories, order, essentially equational theory