theorem :: GLIB_003:7

for G being _Graph
for X being set holds
( G == G .set (WeightSelector,X) & G == G .set (ELabelSelector,X) & G == G .set (VLabelSelector,X) ) by Lm3;