reserve T for TopSpace,
  B for Subset of T;

theorem Th5:
  B is pre-semi-open iff B = psInt B by XBOOLE_1:17,28;
