theorem :: TSP_1:11

for X being non empty TopSpace
for A being empty Subset of X holds A is T_0 ;