theorem :: GLENUM00:77

for G being _Graph holds (G .allInducedSG()) /\ (G .allSpanningSG()) = {(G | _GraphSelectors)}