:: deftheorem defines discrete TEX_1:def 5 :
for X being non empty TopSpace holds
( X is discrete iff for A being non empty Subset of X holds not A is boundary );