定義
R を実数体とし、E を R 上の n 次元のベクトル空間とする。
E に標準位相(>>275)を入れて R 上の位相ベクトル空間と考える。
E の離散部分群で R-階数(>>647)が n のものを
E の格子(lattice)と言う。