for G being _Graph
for S, x being set st x in G .AdjacentSet S holds
not x in S