Positively invariant set

A set is positively invariant when every forward trajectory starting in it remains in it.