Ordered sets; residuated mappings -- Lattices; lattice morphisms -- Regular equivalences -- Modular lattices -- Distributive lattices -- Complementation; boolean algebras -- Pseudocomplementation; Stone and Heyting algebras -- Congruences; subdirectly irreducible algebras -- Ordered groups -- Archimedean ordered structures -- Ordered semigroups; residuated semigroups -- Epimorphic group images;…
hal. 231-232