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