\begin{definition}[Definition:Fundamental Domain (Lattice)]
Let $L \subset \R^n$ be an integral lattice.
Let $B = \tuple {v_1, \ldots, v_n}$ be an ordered basis for $L$.
The '''fundamental domain''' of $L$ associated to $B$ is the set:
:$\ds \set {\sum_{i \mathop = 1}^n \lambda_i v_i: \forall i: 0 \le \lambda_i < 1}$
Category:Definitions/Linear Algebra
Category:Definitions/Geometry of Numbers
\end{definition}