:: deftheorem defines Tsingle_e_net E_SIEC:def 7 :
for x being object holds Tsingle_e_net x = G_Net(# {x},{},{} #);