for G being SimpleGraph
for S being Subset of (Vertices G)
for v being object st S = {v} holds
S is stable