theorem :: TOPS_3:37

for X being non empty TopSpace
for A being Subset of X st A is everywhere_dense holds
not A is boundary by PRE_TOPC:22;