Article snapshot taken from Wikipedia with creative commons attribution-sharealike license.
Give it a read and then ask your questions in the chat.
We can research this topic together.
In mathematical analysis, a positively (or positive) 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.
References
Dr. Francesco Borrelli
A. Benzaouia. book of "Saturated Switching Systems". chapter I, Definition I, Springer 2012. ISBN978-1-4471-2900-4.