1: \begin{definition}(\cite[Theorem 10.3.6 p. 244]{ags} Reduced subdifferential) Take 

2: %$\mu\in \dom \J$, $\nu \in \P_2(\R^d)$ and let $\Psi \in \go(\mu,\nu)$.   Then 

3: %$$\gamma\in \partial \J[u]\Leftrightarrow \J[\nu]\geq \J[\mu]+\int_{\R^d\times \R^d} \gamma(x)\cdot (y-x)\dd \Psi.$$ When $\mu\notin \dom \J$, the set $\partial \J(\mu)$ is empty.

4: %\end{definition}

5: