An upper semicontinuous function is a real-valued function 
on a topological space 
such that
 |
is a closed set for every real number 
. On a metric space,
this is equivalent to 
whenever 
. For 
,
a function is upper semicontinuous iff its hypograph
is a closed set in 
.
