Lattices and Ordered Algebraic Structures (Universitext)

The notion of an order plays an important role ˆ not only throughout mat- maticsbutalsoinadjacentdisciplinessuchaslogicandcomputerscience. In the theory of ordered sets there is the corresponding concept of a residuated mapping, this being a mapping which has the property that the inverse image of a principal down-set is a principal down-set.