for G, H being set st G c= H holds
PairsOf G c= PairsOf H