theorem Th4: :: TSP_2:4

for X being non empty TopSpace
for A being empty Subset of X holds not A is maximal_T_0