Definition 2.14 . [019D]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Definition 2.14.
Let be any function. We define its -psh envelope as follows. If there does not exist any such that on then we set . Otherwise, we define as the usc upper envelope of the set of all -psh functions such that on , i.e. we set