Lattice-ordered group