for G being _Graph
for V1, V2 being Subset of (the_Vertices_of G)
for G1 being addLoops of G,V1
for G2 being addLoops of G1,V2 st V1 misses V2 holds
G2 is addLoops of G,V1 \/ V2