theorem :: GLENUM00:74

for G being _Graph holds
( G is edgeless iff G .allSpanningSG() = {(G | _GraphSelectors)} )