  In this paper, we introduce the notion of Autometrized lattice ordered
monoids (for short,AL-monoids) as a generalization to DRl-semi groups. We
obtain the basic properties of AL-monoids. Also, we prove that Autometrized
lattice ordered monoids are equationally definable. Furthermore, we show that
AL-monoids are an optimal common abstraction of Boolean algebras and l-groups.
