theorem Th29: :: WAYBEL11:29

for S being non empty reflexive RelStr
for e being Element of S holds Net-Str e in NetUniv S