theorem :: TOPS_3:16

for X being TopSpace holds [#] X is dense ;