for G being SimpleGraph
for A being StableSet of G
for B being Subset of A holds B is StableSet of G