theorem Th2: :: E_SIEC:2

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