reserve T for TopSpace,
  B for Subset of T;

theorem Th3:
  B is semi-open iff B = sInt B by XBOOLE_1:17,28;
