theorem Th56: :: TOPGEN_4:56

for T being non empty TopSpace
for A being Subset of T st A is countable holds
A ^0 = {}