Compact sublevel set (source code)

= Compact sublevel set

A <sublevel set> which is <compact>. A <good rate function> has this property for every finite level.