
theorem Th25:
  for T being non empty TopSpace holds (for A being Subset of T
holds (for S being sequence of T st S is convergent & rng S c= A holds Lim S c=
  A) implies A is closed) implies T is sequential
by Th24;
