for X, Y being set holds G_Net(# X,(id (X \ Y)),(id (X \ Y)) #) is e_net