Positively invariant set
In mathematical analysis, a positively invariant set is a set with the following properties:
Suppose is a dynamical system, is a trajectory, and is the initial point. Let where is a real-valued function. The set is said to be positively invariant if implies that
In other words, once a trajectory of the system enters, it will never leave it again.
