theorem Th20: :: TOPGEN_2:20

for X, x0 being set
for A being Subset of (DiscrWithInfin (X,x0)) holds
( A is closed iff not ( x0 in X & not x0 in A & not A is finite ) )