格子と基本領域

$\mathbb{R}^m$ の $\mathbb{R}$ 上一次独立なベクトル $w_1, \ldots, w_m$ の整数係数一次結合の全体 $\Lambda$ を格子、$F = \{\sum_i t_iw_i \mid 0 \le t_i \lt 1\}$ をその基本領域、$\mathrm{covol}(\Lambda) := \mathrm{vol}(F)$ を余体積という。