theorem Th18: :: WAYBEL_2:18

for L being non empty RelStr
for N being prenet of L st N is eventually-directed holds
rng (netmap (N,L)) is directed