for G being _Graph holds G == G | _GraphSelectors