for G1, G2 being _Graph holds [{},{}] is empty one-to-one Dcontinuous PGraphMapping of G1,G2