1: \begin{definition}[Convex-composite multiplier sets]

2: 	Suppose $f$ is convex-composite. Define the set of multipliers at $\bx\in\dom{f}$ for $v\in\R^n$ as in \cite[Theorem 13.14]{rockafellar_wets_1998} by

3: 	\begin{equation}

4: 	\label{eq:cvxcompmultset}

5: 	Y(\bx, v) := \bset{y}{\begin{pmatrix}

6: 		v\\0

7: 		\end{pmatrix} \in \begin{pmatrix}

8: 		\sd_x L(\bx,y) \\

9: 		\sd_y (-L)(\bx,y)

10: 		\end{pmatrix}}=\bset{y\in \sd h(c(\bx))}{\nabla c(\bx)^\top y=v},

11: 	\end{equation}

12: 	and define the set of multipliers at $\bx$ for 0 by

13: 	\begin{equation}

14: 	\label{optMultipliers}

15: 	M(\bx) := Y(\bx, 0) = \Null{\nabla c(\bx)^\top}\cap \sd h(c(\bx)).

16: 	\end{equation}

17: \end{definition}