In discrete mathematics, a lattice is a locally discrete set of points described by all integral linear combinations of dim = n linearly independent vectors in R. The dual lattice is then defined by all points in the linear span of the original lattice (typically all of R) with the property that an integer results from the inner product with all elements of the original lattice. It follows that the dual of the dual lattice is the original lattice.