Positively invariant set (source code)

= Positively invariant set
{wiki=Positively_invariant_set}