reserve x,y,X for set;

theorem
  for T being non empty TopSpace, F,G,x being set st F c= G & x
  is_a_convergence_point_of F, T holds x is_a_convergence_point_of G, T;
