theorem :: TOPS_1:55

for GX being TopStruct
for R being Subset of GX st R is nowhere_dense holds
R is boundary by Th54;