reserve T for TopSpace,
  B for Subset of T;

theorem Th2:
  B is alpha-set of T iff B = alphaInt B by Def1,XBOOLE_1:17,28;
