for T being non empty TopSpace
for N being net of T
for Y being subnet of N holds Lim N c= Lim Y