let G be _Graph; for v being object
for V being set
for G1, G2 being addAdjVertexFromAll of G,v,V holds G1 == G2
let v be object ; for V being set
for G1, G2 being addAdjVertexFromAll of G,v,V holds G1 == G2
let V be set ; for G1, G2 being addAdjVertexFromAll of G,v,V holds G1 == G2
let G1, G2 be addAdjVertexFromAll of G,v,V; G1 == G2