theorem Th48: :: TOPS_1:48

for GX being TopStruct
for R being Subset of GX holds
( R is boundary iff Int R = {} )