theorem Th60: :: TOPS_1:60

for TS being TopSpace
for P being Subset of TS st P is open & P is nowhere_dense holds
P = {}