Sublevel set (source code)

= Sublevel set
{title2=$\{u:E(u)\leq a\}$}

A <sublevel set> consists of points whose objective value is at most a chosen threshold. <Coercivity> makes finite <sublevel sets> bounded, while <sequential lower semicontinuity> makes them <sequentially closed sets> in the selected <topology>.