定義
G を局所コンパクト群とする。
G の離散部分群 H で G/H がコンパクトとなるものを
G の格子(lattice)または G-格子(G-lattice)と言う。