theorem Th24: :: WAYBEL21:24

for S, T being non empty TopSpace
for N being net of S
for f being Function of S,T st f is continuous holds
f .: (Lim N) c= Lim (f * N)