Published online by Cambridge University Press: 23 February 2017
Let $X$ be a vector space and let $\unicode[STIX]{x1D711}:X\rightarrow \mathbb{R}\cup \{-\infty ,+\infty \}$ be an extended real-valued function. For every function $f:X\rightarrow \mathbb{R}\cup \{-\infty ,+\infty \}$, let us define the $\unicode[STIX]{x1D711}$-envelope of $f$ by