LaSalle's invariance principle (source code)

= LaSalle's invariance principle
{c}
{wiki}

= LaSalle invariance principle
{c}
{synonym}

On a compact positively invariant set where $\dot V\leq0$, every trajectory approaches the largest invariant subset of $\{\dot V=0\}$.