theorem Th59: :: TOPS_1:59

for TS being TopSpace
for P being Subset of TS st P is closed holds
Fr P is nowhere_dense