Invariant set