theorem Th41: :: TEX_2:41

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