1: \begin{definition}	\label{FirstOrderDiff}

2: Let $S_1, \ldots, S_n$ be Polish spaces and $\mu$ a measure on $S = \otimes_{i = 1}^n S_i$. For each subset $I \subset \{1,\ldots,n\}$ let $m_{\overline{x_I}}$ be the Markov kernel from Proposition \ref{Prop:DisintegrationTheorem}. Let $\mathcal{I} \subset \mathcal{P}(\{1, \ldots, n \})$ be a set of subsets. 

3: \begin{enumerate}[(i)]

4: \item For any $f \in L^2(\mu)$ and any $I \in \mathcal{I}$, let

5: \[

6: 	\partial_I f(x) \coloneqq \left( \frac{1}{2} \int (f(x) - f(\overline{x_I}, y_I))^2 dm_{\overline{x_I}}(y_I) \right)^{1/2} %= \left( \Var_{m^i_x} (f(\overline{x_i}, \cdot)) \right)^{1/2}

7: \]

8: and introduce $\partial f = (\partial_I f)_{I \in \mathcal{I}}$.

9: \item For any $f \in L^\infty(\mu)$ and any $I \in \mathcal{I}$, define 

10: \[

11: 	\fh_I f(x) \coloneqq \frac{1}{\sqrt{2}} \norm{f(\overline{x_I},y_I) - f(\overline{x_I},z_I)}_{L^\infty\left(m_{\overline{x_I}} \otimes m_{\overline{x_I}}(y_I, z_I)\right)},

12: \]

13: and $\fh f \coloneqq (\fh_I f)_{I \in \mathcal{I}}$.

14: \end{enumerate}

15: \end{definition}

16: