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 
.
