The lattice condition is trivially satisfied also when the lattice is the product of totally ordered lattices, X = X 1 × × ⋯ ⋯ × × X n , and μ μ = μ μ 1 ⊗ ⊗ ⋯ ⋯ ⊗ ⊗ μ μ n is a product measure. Often all the factors (both the lattices and the measures) are identical, i.e., μ is the probability distribution of i.i.d. random variables.