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