for G being _Graph
for X being set holds G == G .set (OrderingSelector,X)