lattice-ordered group