Invariant set


invariant set is a set.