Proper convex function (source code)

= Proper convex function
{wiki}

A proper convex function is both a <convex function> and a <proper extended-real function>. For example, the <total variation seminorm on a domain> is nonnegative, finite at zero, and a supremum of linear functionals, making it proper and convex.