Definition:Lattice (Group Theory)