theorem :: GLIB_000:2

for G being _Graph holds _GraphSelectors c= dom G