theorem Th2: :: TSP_2:2

for X being non empty TopSpace
for M being Subset of X st M is maximal_T_0 holds
M is dense