theorem Th36: :: TOPGEN_4:36

for T being non empty TopSpace holds [#] T is G_delta