theorem :: TOPS_3:25

for X being non empty TopSpace
for A being Subset of X st A is nowhere_dense holds
not A is dense