for G being WEGraph
for e, x being set holds the_Weight_of G = the_Weight_of (G .labelEdge (e,x))