theorem Th14: :: TOPGEN_1:14

for T being TopSpace
for A being Subset of T holds
( ( A is open & A is closed ) iff Fr A = {} )