theorem Th29: :: TEX_2:29

for X being non empty TopSpace
for A being empty Subset of X holds A is discrete