Definition:Lattice (Group Theory)

Also see

 * Equivalence of Definitions of Lattices in Group Theory