theorem Th4: :: TDLAT_1:4

for T being TopSpace
for A being Subset of T holds Int A c= Int (Cl (Int A))