theorem Th56: :: TEX_2:56

for X being non empty almost_discrete TopSpace
for A being Subset of X st A is maximal_discrete holds
A is dense