Closed-sublevel-set characterization of lower semicontinuity
= Closed-sublevel-set characterization of lower semicontinuity
On a metric space, a functional is <sequentially lower semicontinuous> exactly when every sublevel set $\{x:f(x)\leq\eta\}$ is closed.