reserve T for TopSpace,
  B for Subset of T;

theorem Th4:
  B is pre-open iff B = pInt B by XBOOLE_1:17,28;
