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