1: \begin{definition}(\cite[Item 10.3.13 p. 243 and Theorem 10.3.6 p. 244]{ags} Reduced subdifferential) Let $\J:\P_2(\R^d)\to (-\infty,+\infty]$ be a $\lambda$-convex lower semi-continuous  function bounded from below with $\lambda\in \R$. Take 

2: $\mu\in \dom \J$ and  $\gamma \in L_{\mu}^2(\R^d)$. Then 

3: \begin{align*}

4:  &\gamma\in \partial \J[\mu]&&\Longleftrightarrow &&\forall \nu \in \P_2(\R^d), \exists\Psi \in \go(\mu,\nu), \\

5:  & &&&&\J[\nu]\geq \J[\mu]+\int_{\R^d\times \R^d} \gamma(x)\cdot (y-x)\dd \Psi(x,y)+\frac{\lambda}{2}\M_2^2(\mu,\nu).

6: \end{align*}

7:  When $\mu\notin \dom \J$, the set $\partial \J[\mu]$ is empty.

8: \end{definition}

9: