Sequential lower semicontinuity

An extended-real functional $f$ is sequentially lower semicontinuous when $x_n\to x$ implies $f(x)\le {\mathrm{liminf}}_{n}f(x_n)$.

On a metric space, a functional is sequentially lower semicontinuous exactly when every sublevel set $\{x:f(x)\le \eta \}$ is closed.