se should be very familiar: if <span class="math">\(m=1\)</span> and
<span class="math">\(g(x,y)\triangleq y\)</span>, then</p>
<div class="math">
\[f(x) \triangleq \inf\left\{\,y\,~|~\,\exists y,~(x,y)\in S\,\right\}\]</div>
<p>gives the classic <em>epigraph</em> representation of <span class="math">\(f\)</span>:</p>
<div class="math">
\[\operatorname{\textbf{epi}}f = S+ \left( \{ 0 \} \times \mathbf{R}_+ \right),\]</div>
<p>where <span class="math">\(0 \in \mathbf{R}^n\)</span>.</p>
<p>In CVX you can defi