Positively invariant set
= Positively invariant set
A set is positively invariant when every forward trajectory starting in it remains in it.
This is a dynamical example of an <invariant (mathematics)>; forward invariance and strict inward trapping are additional conditions.