Sequential lower semicontinuity (source code)

= Sequential lower semicontinuity

An extended-real functional $f$ is sequentially lower semicontinuous when $x_n\to x$ implies $f(x)\leq\liminf_nf(x_n)$.

= Sequentially lower semicontinuous
{synonym}