theorem :: YELLOW_6:14

for T being non empty 1-sorted
for N being net of T holds N is subnet of N