I am studying a dynamical system, and I have found set in phase phase such that any solution that enters the set must exit it. This to me would be the opposite of an invariant set.
My question is whether there is a formal definition for a non-invariant set?