 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)$.