theorem :: GLENUM00:42

for G being _Graph holds G | _GraphSelectors is_maximal_in SubgraphRel G