A unital ℓ-group (G; u) is an abelian group G equipped with a translationinvariant lattice-order and a distinguished element u, called order-unit, whose positive integer multiples eventually dominate each element of G. It ...