 Abelian lattice-ordered group

A commutative lattice-ordered group, usually written additively. Examples include real-valued function groups with pointwise addition, maximum and minimum. Such a group need not have a total order.