reserve T for TopSpace,
  A, B for Subset of T;

theorem
  A is 1st_class or A is 2nd_class or A is 3rd_class
by Th35;
