theorem :: TOPGEN_4:44

for T being non empty TopSpace
for A being Subset of T st A is open holds
A is G_delta