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; Dubreil-Jacotin semigroups.- Ordered regular semigroups.- Structure...