Abelian lattice-ordered group
= Abelian lattice-ordered group
{c}
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>.