theorem :: TOPS_3:31

for X being non empty TopSpace holds [#] X is everywhere_dense