theorem Th8: :: TOPGEN_1:8

for T being TopStruct
for A being Subset of T holds Fr A = (Cl A) \ (Int A)