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