1: \begin{definition}[\textbf{Tensor reduction operator}]\label{def:tensorreduction}

2: Define the reduction operator $\reduction^\otimes\, : \,\kformspacedomain{k}{\Omega \subset \mathbb{R}^n} \rightarrow \bigotimes_{i=1}^n C^{d(i)}$ as the tensor product of $n$ one-dimensional reduction operators over the cells $\tau_{d(i)}$,

3: \begin{equation}

4: \left\langle \reduction^\otimes \kdifform{a}{k} , \bigotimes_{i=1}^n \tau_{d(i),i} \right\rangle := \left\langle \bigotimes_{j=1}^n \reduction_j \kdifform{a}{k},\bigotimes_{i=1}^n \tau_{d(i)} \right\rangle =  \int_{\tau_{d(1)}} \dots \int_{\tau{d(n)}} \kdifform{a}{k}.

5: \end{equation}

6: Essentially, the reduction operator is decomposed into integrals in each coordinate direction using Fubini's Theorem, \cite{spivak1998calculus}.

7: \end{definition}

8: