theorem Th26: :: TOPS_3:26

for X being non empty TopSpace
for A, B being Subset of X st B is nowhere_dense & A c= B holds
A is nowhere_dense