Proper extended-real function
= Proper extended-real function
An extended-real function is proper if it never takes $-\infty$ and is finite at at least one point. It can take $+\infty$ to impose a constraint. A <convex function> with this property is a <proper convex function>.