for G being VGraph
for v, x being set holds G == G .labelVertex (v,x)