theorem Th15: :: TDLAT_3:15

for X being TopSpace holds
( X is discrete iff for A being Subset of X holds A is open )