theorem :: TOPS_3:22

for X being non empty TopSpace holds {} X is nowhere_dense ;