A lower 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 lower semicontinuous iff
its epigraph is a closed set
in 
.
