for X being set holds G_Net(# X,{},{} #) is e_net