theorem Th5: :: TDLAT_3:5

for X being TopSpace
for A being Subset of X holds
( ( A is open & A is closed ) iff Cl A = Int A )