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