theorem Th22: :: YELLOW_6:22

for S being non empty 1-sorted
for N being net of S
for X being set st N is_often_in X holds
N " X is subnet of N