theorem Th9: :: FRECHET2:9

for T being non empty TopSpace
for A being Subset of T st A is closed holds
for S being sequence of T st rng S c= A holds
Lim S c= A by FRECHET:24;