theorem Th43: :: TOPS_1:43

for TS being TopSpace
for P being Subset of TS holds
( P is closed iff Fr P = P \ (Int P) )