theorem Th58: :: TOPS_1:58

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