theorem Th18: :: TOPS_3:18

for X being non empty TopSpace
for A being Subset of X holds
( A is dense iff A ` is boundary )