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