invariant set definition - Search