theorem Th1: :: PRE_TOPC:1

for GX being TopSpace holds {} in the topology of GX