:: deftheorem defines boundary TOPS_1:def 4 :
for GX being TopStruct
for R being Subset of GX holds
( R is boundary iff R ` is dense );