theorem Th22: :: TDLAT_3:22

for X being TopSpace holds
( X is almost_discrete iff for A being Subset of X st A is closed holds
A is open )