D. Mundici extended the above construction to abelian lattice-ordered groups. If "G" is such a group with strong (order) unit "u", then the "unit interval" { "x" ∈ "G" | 0 ≤ "x" ≤ "u" } can be equipped with ¬"x" = "u" − "x", "x" ⊕ "y" = "u" ∧G (x + y), and "x" ⊗ "y" = 0 ∨G ("x" + "y" − "u"). This construction establishes a categorical equivalence between lattice-ordered abelian groups with strong unit and MV-algebras.