Definition 7.1 . [01GK]
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 7.1.
Let be as above. A -psh function is an usc function such that for each SNC model of on which is determined we have
- (i)
on ;
- (ii)
the restriction of to is a uniform limit of restrictions of -psh model functions.
We write for the set of -psh functions on .