Given a graph $G$ and a maximum independent set (MIS) $I$, can we comment on the size of a maximum independent set of the residual graph $G\setminus I$? Note that $G\setminus I$ denotes the induced graph obtained from $G$ after deleting the set of vertices in $I$.
A trivial upper bound is: $|\text{MIS}(G\setminus I)| \le \text{MIS}(G)=|I|$
Do we have a reasonable lower bound?
Also, instead of deleting a MIS, what happens if we delete some other subset of vertices, say a maximal independent set of $G$?
Any pointers to existing works or how to approach this problem are appreciated.