Lattice ordered group