Sublevel set ($\{u:E(u)\le 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.