invariant subset