Projection
Dimensional projection and subspace projection
Given a subset A of the grid Q we define its projections. For an index i, the dimensional projection of A is the set pi (A) = {mĪDi : $cĪ A, ci = m}.
For a multiindex I, the subspace projection of A is the set pI (A) = {mĪDI : $cĪ A, cI = m}.
We also define pI (A) as the product of all pi (A) , iĪ I.