theorem Th19: :: TOPGEN_2:19

for X, x0 being set
for A being Subset of (DiscrWithInfin (X,x0)) holds
( A is open iff ( not x0 in A or A ` is finite ) )