theorem Th2: :: PCOMPS_1:2

for T being TopSpace
for A being Subset of T holds
( Cl A <> {} iff A <> {} )