Definition:Lattice (Group)