theorem :: TOPS_1:70

for TS being TopSpace
for P being Subset of TS st P is condensed holds
Int (Fr P) = {}