reserve T for TopStruct;
reserve GX for TopSpace;

theorem Th1:
  {} in the topology of GX
proof
  reconsider A = {} as Subset-Family of GX by XBOOLE_1:2;
  A c= the topology of GX;
  hence thesis by Def1,ZFMISC_1:2;
end;
