In mathematical analysis, semicontinuity is a property of real-valued functions that is weaker than continuity.
It comes in two kinds, upper semicontinuity and lower semicontinuity.
A real-valued function over a topological space
is said to be lower semicontinuous if the following property holds:
