theorem Th8: :: TDLAT_1:8

for T being TopSpace
for A being Subset of T holds Int (A /\ (Cl (A `))) = {} T