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: