theorem Th34: :: TOPGEN_3:34

for X being set
for A being Subset of (ClFinTop X) holds
( A is open iff ( A = {} or A ` is finite ) )